Pow acsch Pow x7 -1 Pow Mul csc x0 atan x5 -5 
Mul Pow acsch Pow x7 -1 Add Pow Mul csc x0 atan x5 -5 -1 Mul Mul acsch Pow x7 -1 log acsch Pow x7 -1 Mul Pow Mul csc x0 atan x5 6 Mul -5 Mul atan x5 Mul Mul -1 cot x0 csc x0 