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