coth Add Mul Add Pow x1 Add 5 x7 x0 x5 Pow x0 atan x0 
Mul Mul -1 Pow csch Add Mul Add Pow x1 Add 5 x7 x0 x5 Pow x0 atan x0 2 Add x5 Mul Pow x0 Add atan x0 -1 Add atan x0 Mul Mul x0 log x0 Pow Add 1 Mul x0 x0 -1 