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