Pow Mul x7 Mul atan x0 cot coth x0 acsc x7 
Mul Pow Mul x7 Mul atan x0 cot coth x0 Add acsc x7 -1 Mul acsc x7 Mul x7 Add Mul cot coth x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Mul -1 Pow csc coth x0 2 Mul -1 Pow csch x0 2 