sech Mul x0 csch Mul Pow x0 Pow acoth cosh x0 x7 x0 
Mul Mul tanh Mul x0 csch Mul Pow x0 Pow acoth cosh x0 x7 x0 Mul -1 sech Mul x0 csch Mul Pow x0 Pow acoth cosh x0 x7 x0 Add csch Mul Pow x0 Pow acoth cosh x0 x7 x0 Mul x0 Mul Mul Mul -1 coth Mul Pow x0 Pow acoth cosh x0 x7 x0 csch Mul Pow x0 Pow acoth cosh x0 x7 x0 Add Mul x0 Mul Pow x0 Add Pow acoth cosh x0 x7 -1 Add Pow acoth cosh x0 x7 Mul Mul x0 log x0 Mul Pow acoth cosh x0 Add x7 -1 Mul x7 Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Pow x0 Pow acoth cosh x0 x7 