Mul 0.00800000000000000 acosh Add Pow x6 x0 acoth acot cosh Add x0 Add x0 x0 
Mul 0.00800000000000000 Mul Add Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul -1 Mul Mul sinh Add x0 Add x0 x0 3 Pow Add 1 Mul cosh Add x0 Add x0 x0 cosh Add x0 Add x0 x0 -1 Pow Add 1 Mul -1 Mul acot cosh Add x0 Add x0 x0 acot cosh Add x0 Add x0 x0 -1 Pow Mul sqrt Add Add Pow x6 x0 acoth acot cosh Add x0 Add x0 x0 -1 sqrt Add 1 Add Pow x6 x0 acoth acot cosh Add x0 Add x0 x0 -1 