asech Mul Add sqrt Pow x0 x2 x0 Pow x3 -4 
Mul Mul Pow x3 -4 Add Mul Pow Mul 2 sqrt Pow x0 x2 -1 Mul Pow x0 Add x2 -1 x2 1 Pow Mul Mul Mul Add sqrt Pow x0 x2 x0 Pow x3 -4 Mul Add sqrt Pow x0 x2 x0 Pow x3 -4 sqrt Add 1 Mul -1 Pow Mul Mul Add sqrt Pow x0 x2 x0 Pow x3 -4 Mul Add sqrt Pow x0 x2 x0 Pow x3 -4 -1 -1 