Pow acsch tanh x2 Add acoth Pow x0 cosh E x0 
Mul Pow acsch tanh x2 Add Add acoth Pow x0 cosh E x0 -1 Mul Mul acsch tanh x2 log acsch tanh x2 Add Mul Mul Pow x0 Add cosh E -1 cosh E Pow Add 1 Mul -1 Mul Pow x0 cosh E Pow x0 cosh E -1 1 