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