Add Mul x0 Pow atan Mul x0 -1 cot x0 Pow 3 sqrt asec sin Pow x2 x7 
Add Pow atan Mul x0 -1 cot x0 Mul x0 Mul Pow atan Mul x0 -1 Add cot x0 -1 Add Mul cot x0 Mul -1 Pow Add 1 Mul Mul x0 -1 Mul x0 -1 -1 Mul Mul atan Mul x0 -1 log atan Mul x0 -1 Mul -1 Pow csc x0 2 