coth Pow coth exp x0 cosh x0 
Mul Mul -1 Pow csch Pow coth exp x0 cosh x0 2 Mul Pow coth exp x0 Add cosh x0 -1 Add Mul cosh x0 Mul Mul -1 Pow csch exp x0 2 exp x0 Mul Mul coth exp x0 log coth exp x0 sinh x0 