Mul Pow Pow acot Mul Mul x0 Mul coth x0 Pow x7 x3 Add x0 x0 coth Pow x0 Add -1 x3 x0 -4 
Mul -4 Mul Pow Pow acot Mul Mul x0 Mul coth x0 Pow x7 x3 Add x0 x0 coth Pow x0 Add -1 x3 Add x0 -1 Add Mul x0 Mul Pow acot Mul Mul x0 Mul coth x0 Pow x7 x3 Add x0 x0 Add coth Pow x0 Add -1 x3 -1 Add Mul coth Pow x0 Add -1 x3 Mul -1 Mul Add Mul Add x0 x0 Add Mul coth x0 Pow x7 x3 Mul x0 Mul Pow x7 x3 Mul -1 Pow csch x0 2 Mul Mul x0 Mul coth x0 Pow x7 x3 2 Pow Add 1 Mul Mul Mul x0 Mul coth x0 Pow x7 x3 Add x0 x0 Mul Mul x0 Mul coth x0 Pow x7 x3 Add x0 x0 -1 Mul Mul acot Mul Mul x0 Mul coth x0 Pow x7 x3 Add x0 x0 log acot Mul Mul x0 Mul coth x0 Pow x7 x3 Add x0 x0 Mul Mul -1 Pow csch Pow x0 Add -1 x3 2 Mul Pow x0 Add Add -1 x3 -1 Add -1 x3 Mul Pow acot Mul Mul x0 Mul coth x0 Pow x7 x3 Add x0 x0 coth Pow x0 Add -1 x3 log Pow acot Mul Mul x0 Mul coth x0 Pow x7 x3 Add x0 x0 coth Pow x0 Add -1 x3 