Add Mul x0 Mul coth Add Pow x0 coth x0 x0 Mul x0 csch x3 x0 
Add Add Mul coth Add Pow x0 coth x0 x0 Mul x0 csch x3 Mul x0 Add Mul Mul x0 csch x3 Mul Mul -1 Pow csch Add Pow x0 coth x0 x0 2 Add Mul Pow x0 Add coth x0 -1 Add coth x0 Mul Mul x0 log x0 Mul -1 Pow csch x0 2 1 Mul coth Add Pow x0 coth x0 x0 csch x3 1 