Mul Pow csc x0 Pow atan x0 x5 Pow -3 x6 
Mul Pow -3 x6 Mul Pow csc x0 Add Pow atan x0 x5 -1 Add Mul Pow atan x0 x5 Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 Mul Pow atan x0 Add x5 -1 Mul x5 Pow Add 1 Mul x0 x0 -1 