Add Pow Pow x0 cosh acsc x2 x3 Mul x0 Add Mul cot x0 acosh acsc x5 atan x0 
Add Mul Pow Pow x0 cosh acsc x2 Add x3 -1 Mul x3 Mul Pow x0 Add cosh acsc x2 -1 cosh acsc x2 Add Add Mul cot x0 acosh acsc x5 atan x0 Mul x0 Add Mul acosh acsc x5 Mul -1 Pow csc x0 2 Pow Add 1 Mul x0 x0 -1 