Mul Pow Pow Add Mul sqrt Mul 3 Mul x4 x3 x0 E Pow E x6 Mul E asech x7 x4 
Mul x4 Mul Pow Pow Add Mul sqrt Mul 3 Mul x4 x3 x0 E Pow E x6 Add Mul E asech x7 -1 Mul Mul E asech x7 Mul Pow Add Mul sqrt Mul 3 Mul x4 x3 x0 E Add Pow E x6 -1 Mul Pow E x6 sqrt Mul 3 Mul x4 x3 