Mul x0 asec Add -1 Mul x0 exp Pow acoth cosh Mul 5 x0 acosh x4 
Add asec Add -1 Mul x0 exp Pow acoth cosh Mul 5 x0 acosh x4 Mul x0 Mul Add exp Pow acoth cosh Mul 5 x0 acosh x4 Mul x0 Mul exp Pow acoth cosh Mul 5 x0 acosh x4 Mul Pow acoth cosh Mul 5 x0 Add acosh x4 -1 Mul acosh x4 Mul Mul sinh Mul 5 x0 5 Pow Add 1 Mul -1 Mul cosh Mul 5 x0 cosh Mul 5 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add -1 Mul x0 exp Pow acoth cosh Mul 5 x0 acosh x4 Add -1 Mul x0 exp Pow acoth cosh Mul 5 x0 acosh x4 -1 Add -1 Mul x0 exp Pow acoth cosh Mul 5 x0 acosh x4 Add -1 Mul x0 exp Pow acoth cosh Mul 5 x0 acosh x4 -1 