Mul Add x1 asech Mul asec x0 -2 Mul Add -4 Mul E x0 Add E x0 
Add Mul Mul Add -4 Mul E x0 Add E x0 Mul Mul -2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul Mul Mul asec x0 -2 Mul asec x0 -2 sqrt Add 1 Mul -1 Pow Mul Mul asec x0 -2 Mul asec x0 -2 -1 -1 Mul Add x1 asech Mul asec x0 -2 Add Mul Add E x0 E Add -4 Mul E x0 