Mul Pow x2 x0 Mul csc Pow exp x0 coth x0 2 
Add Mul Mul csc Pow exp x0 coth x0 2 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow x2 x0 Mul 2 Mul Mul Mul -1 cot Pow exp x0 coth x0 csc Pow exp x0 coth x0 Mul Pow exp x0 Add coth x0 -1 Add Mul coth x0 exp x0 Mul Mul exp x0 log exp x0 Mul -1 Pow csch x0 2 