Pow x0 cot Mul Mul x7 x0 Pow Pow acot Add -4 log x7 Mul x0 coth x0 E 
Mul Pow x0 Add cot Mul Mul x7 x0 Pow Pow acot Add -4 log x7 Mul x0 coth x0 E -1 Add cot Mul Mul x7 x0 Pow Pow acot Add -4 log x7 Mul x0 coth x0 E Mul Mul x0 log x0 Mul Mul -1 Pow csc Mul Mul x7 x0 Pow Pow acot Add -4 log x7 Mul x0 coth x0 E 2 Add Mul Pow Pow acot Add -4 log x7 Mul x0 coth x0 E x7 Mul Mul x7 x0 Mul Pow Pow acot Add -4 log x7 Mul x0 coth x0 Add E -1 Mul E Mul Pow acot Add -4 log x7 Add Mul x0 coth x0 -1 Mul Mul acot Add -4 log x7 log acot Add -4 log x7 Add coth x0 Mul x0 Mul -1 Pow csch x0 2 