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