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