Pow Add Pow x4 Add asec acosh Add x0 8 sqrt x0 Mul E Mul 5 Mul -3 x0 x5 
Mul Pow Add Pow x4 Add asec acosh Add x0 8 sqrt x0 Mul E Mul 5 Mul -3 x0 Add x5 -1 Mul x5 Add Mul Pow x4 Add Add asec acosh Add x0 8 sqrt x0 -1 Mul Mul x4 log x4 Add Mul Pow Mul sqrt Add Add x0 8 -1 sqrt Add 1 Add x0 8 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Add x0 8 acosh Add x0 8 -1 acosh Add x0 8 acosh Add x0 8 -1 Pow Mul 2 sqrt x0 -1 Mul E 2 