Pow 5 Mul x0 cosh acoth Pow x1 x0 
Mul Pow 5 Add Mul x0 cosh acoth Pow x1 x0 -1 Mul 6.60943791243410 Add cosh acoth Pow x1 x0 Mul x0 Mul sinh acoth Pow x1 x0 Mul Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Add 1 Mul -1 Mul Pow x1 x0 Pow x1 x0 -1 