Pow x0 Add x0 Pow acoth x7 Mul cosh x0 Mul x2 acot coth x0 
Mul Pow x0 Add Add x0 Pow acoth x7 Mul cosh x0 Mul x2 acot coth x0 -1 Add Add x0 Pow acoth x7 Mul cosh x0 Mul x2 acot coth x0 Mul Mul x0 log x0 Add 1 Mul Pow acoth x7 Add Mul cosh x0 Mul x2 acot coth x0 -1 Mul Mul acoth x7 log acoth x7 Add Mul Mul x2 acot coth x0 sinh x0 Mul cosh x0 Mul x2 Mul -1 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 