coth Pow Pow coth Pow x0 Mul Pow log x0 atan x0 x1 4 -5 
Mul Mul -1 Pow csch Pow Pow coth Pow x0 Mul Pow log x0 atan x0 x1 4 -5 2 Mul Pow Pow coth Pow x0 Mul Pow log x0 atan x0 x1 4 6 Mul -5 Mul Pow coth Pow x0 Mul Pow log x0 atan x0 x1 3 Mul 4 Mul Mul -1 Pow csch Pow x0 Mul Pow log x0 atan x0 x1 2 Mul Pow x0 Add Mul Pow log x0 atan x0 x1 -1 Add Mul Pow log x0 atan x0 x1 Mul Mul x0 log x0 Mul x1 Mul Pow log x0 Add atan x0 -1 Add Mul atan x0 Pow x0 -1 Mul Mul log x0 log log x0 Pow Add 1 Mul x0 x0 -1 