bugs of var ordering,
support of etf_root(k,exp)<x

However, writeLogicalExp(x>3*y,[x,y]) cannot write correctly
and need debug.
now multiplication works