Pow Mul x0 csch cosh Mul asin x0 x5 asinh Pow acoth x0 Mul x4 cosh x0 
Mul Pow Mul x0 csch cosh Mul asin x0 x5 Add asinh Pow acoth x0 Mul x4 cosh x0 -1 Add Mul asinh Pow acoth x0 Mul x4 cosh x0 Add csch cosh Mul asin x0 x5 Mul x0 Mul Mul Mul -1 coth cosh Mul asin x0 x5 csch cosh Mul asin x0 x5 Mul sinh Mul asin x0 x5 Mul x5 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul x0 csch cosh Mul asin x0 x5 log Mul x0 csch cosh Mul asin x0 x5 Mul Mul Pow acoth x0 Add Mul x4 cosh x0 -1 Add Mul Mul x4 cosh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul x4 sinh x0 Pow sqrt Add 1 Mul Pow acoth x0 Mul x4 cosh x0 Pow acoth x0 Mul x4 cosh x0 -1 