Extended Tarski Formula is now supported.
qe([[E,x]],(x=etf_root(1,x^2-2)) %and (x<-1));
and you will obtain true.