Mul acsc Pow acot E Mul csch x7 coth x0 x5 
Mul x5 Mul -1 Mul Mul Pow acot E Add Mul csch x7 coth x0 -1 Mul Mul acot E log acot E Mul csch x7 Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acot E Mul csch x7 coth x0 Pow acot E Mul csch x7 coth x0 -1 Pow acot E Mul csch x7 coth x0 Pow acot E Mul csch x7 coth x0 -1 