asech Add Mul Mul Mul x0 x0 3 x0 E 
Mul Add Mul x0 Mul 3 Add x0 x0 Mul Mul x0 x0 3 Pow Mul Mul Add Mul Mul Mul x0 x0 3 x0 E Add Mul Mul Mul x0 x0 3 x0 E sqrt Add 1 Mul -1 Pow Mul Add Mul Mul Mul x0 x0 3 x0 E Add Mul Mul Mul x0 x0 3 x0 E -1 -1 