Mul Mul Pow Add Mul x6 x0 -5 4 sqrt Pow Pow 4 x0 Pow x7 Mul -2 E -1 
Mul -1 Add Mul sqrt Pow Pow 4 x0 Pow x7 Mul -2 E Mul Pow Add Mul x6 x0 -5 3 Mul 4 x6 Mul Pow Add Mul x6 x0 -5 4 Mul Pow Mul 2 sqrt Pow Pow 4 x0 Pow x7 Mul -2 E -1 Mul Pow Pow 4 x0 Add Pow x7 Mul -2 E -1 Mul Pow x7 Mul -2 E Mul Pow 4 Add x0 -1 5.38629436111989 