cot Pow Mul Pow Pow sec csch x0 x0 x0 x7 x0 
Mul Mul -1 Pow csc Pow Mul Pow Pow sec csch x0 x0 x0 x7 x0 2 Mul Pow Mul Pow Pow sec csch x0 x0 x0 x7 Add x0 -1 Add Mul x0 Mul x7 Mul Pow Pow sec csch x0 x0 Add x0 -1 Add Mul x0 Mul Pow sec csch x0 Add x0 -1 Add Mul x0 Mul Mul tan csch x0 sec csch x0 Mul Mul -1 coth x0 csch x0 Mul sec csch x0 log sec csch x0 Mul Pow sec csch x0 x0 log Pow sec csch x0 x0 Mul Mul Pow Pow sec csch x0 x0 x0 x7 log Mul Pow Pow sec csch x0 x0 x0 x7 