exp Pow Mul x3 Pow x2 Mul coth x0 coth Pow x0 csch acoth coth x0 3 
Mul exp Pow Mul x3 Pow x2 Mul coth x0 coth Pow x0 csch acoth coth x0 3 Mul Pow Mul x3 Pow x2 Mul coth x0 coth Pow x0 csch acoth coth x0 2 Mul 3 Mul x3 Mul Pow x2 Add Mul coth x0 coth Pow x0 csch acoth coth x0 -1 Mul Mul x2 log x2 Add Mul coth Pow x0 csch acoth coth x0 Mul -1 Pow csch x0 2 Mul coth x0 Mul Mul -1 Pow csch Pow x0 csch acoth coth x0 2 Mul Pow x0 Add csch acoth coth x0 -1 Add csch acoth coth x0 Mul Mul x0 log x0 Mul Mul Mul -1 coth acoth coth x0 csch acoth coth x0 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul coth x0 coth x0 -1 