Pow csch x0 coth Add -3 Pow Add Add x3 sqrt x3 x0 acoth x4 
Mul Pow csch x0 Add coth Add -3 Pow Add Add x3 sqrt x3 x0 acoth x4 -1 Add Mul coth Add -3 Pow Add Add x3 sqrt x3 x0 acoth x4 Mul Mul -1 coth x0 csch x0 Mul Mul csch x0 log csch x0 Mul Mul -1 Pow csch Add -3 Pow Add Add x3 sqrt x3 x0 acoth x4 2 Mul Pow Add Add x3 sqrt x3 x0 Add acoth x4 -1 acoth x4 