asech Add Mul csc x1 x0 csc Mul -4 x3 
Mul csc x1 Pow Mul Mul Add Mul csc x1 x0 csc Mul -4 x3 Add Mul csc x1 x0 csc Mul -4 x3 sqrt Add 1 Mul -1 Pow Mul Add Mul csc x1 x0 csc Mul -4 x3 Add Mul csc x1 x0 csc Mul -4 x3 -1 -1 