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