Mul Pow Pow x7 coth x0 x0 Add acot Add x0 x1 3 
Add Mul Add acot Add x0 x1 3 Mul Pow Pow x7 coth x0 Add x0 -1 Add Mul x0 Mul Pow x7 Add coth x0 -1 Mul Mul x7 log x7 Mul -1 Pow csch x0 2 Mul Pow x7 coth x0 log Pow x7 coth x0 Mul Pow Pow x7 coth x0 x0 Mul -1 Pow Add 1 Mul Add x0 x1 Add x0 x1 -1 