Add x2 asech Mul Mul x0 x7 Mul x0 Mul x0 E 
Mul Add Mul Mul x0 Mul x0 E x7 Mul Mul x0 x7 Add Mul x0 E Mul x0 E Pow Mul Mul Mul Mul x0 x7 Mul x0 Mul x0 E Mul Mul x0 x7 Mul x0 Mul x0 E sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x7 Mul x0 Mul x0 E Mul Mul x0 x7 Mul x0 Mul x0 E -1 -1 