Mul Pow x0 x0 csch cosh Mul coth tanh x0 E 
Add Mul csch cosh Mul coth tanh x0 E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul Mul Mul -1 coth cosh Mul coth tanh x0 E csch cosh Mul coth tanh x0 E Mul sinh Mul coth tanh x0 E Mul E Mul Mul -1 Pow csch tanh x0 2 Pow sech x0 2 