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