Mul csc Pow x7 Pow csch x0 x0 cot x7 
Mul cot x7 Mul Mul Mul -1 cot Pow x7 Pow csch x0 x0 csc Pow x7 Pow csch x0 x0 Mul Pow x7 Add Pow csch x0 x0 -1 Mul Mul x7 log x7 Mul Pow csch x0 Add x0 -1 Add Mul x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 log csch x0 