Mul sec cot Pow Mul x0 x6 atan x0 x5 
Mul x5 Mul Mul tan cot Pow Mul x0 x6 atan x0 sec cot Pow Mul x0 x6 atan x0 Mul Mul -1 Pow csc Pow Mul x0 x6 atan x0 2 Mul Pow Mul x0 x6 Add atan x0 -1 Add Mul atan x0 x6 Mul Mul Mul x0 x6 log Mul x0 x6 Pow Add 1 Mul x0 x0 -1 