Mul Mul Mul Mul Mul Mul asech exp Pow x0 x4 x2 x0 x0 x0 x0 E 
Mul E Add Mul x0 Add Mul x0 Add Mul x0 Add Mul x0 Mul x2 Mul Mul exp Pow x0 x4 Mul Pow x0 Add x4 -1 x4 Pow Mul Mul exp Pow x0 x4 exp Pow x0 x4 sqrt Add 1 Mul -1 Pow Mul exp Pow x0 x4 exp Pow x0 x4 -1 -1 Mul asech exp Pow x0 x4 x2 Mul Mul asech exp Pow x0 x4 x2 x0 Mul Mul Mul asech exp Pow x0 x4 x2 x0 x0 Mul Mul Mul Mul asech exp Pow x0 x4 x2 x0 x0 x0 