Mul Add csc Pow atan x1 x0 Pow x0 x7 x0 
Add Mul x0 Add Mul Mul Mul -1 cot Pow atan x1 x0 csc Pow atan x1 x0 Mul Pow atan x1 Add x0 -1 Mul atan x1 log atan x1 Mul Pow x0 Add x7 -1 x7 Add csc Pow atan x1 x0 Pow x0 x7 