Mul x7 asech Pow E Pow 4 x0 
Mul x7 Mul Mul Pow E Add Pow 4 x0 -1 Mul Mul E log E Mul Pow 4 Add x0 -1 5.38629436111989 Pow Mul Mul Pow E Pow 4 x0 Pow E Pow 4 x0 sqrt Add 1 Mul -1 Pow Mul Pow E Pow 4 x0 Pow E Pow 4 x0 -1 -1 