acosh Mul Add E 1 asec Add cosh x0 Pow x0 3.00000000000000 
Mul Mul Add E 1 Mul Add sinh x0 Mul Pow x0 2.00000000000000 3.00000000000000 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add cosh x0 Pow x0 3.00000000000000 Add cosh x0 Pow x0 3.00000000000000 -1 Add cosh x0 Pow x0 3.00000000000000 Add cosh x0 Pow x0 3.00000000000000 -1 Pow Mul sqrt Add Mul Add E 1 asec Add cosh x0 Pow x0 3.00000000000000 -1 sqrt Add 1 Mul Add E 1 asec Add cosh x0 Pow x0 3.00000000000000 -1 