Mul Pow Mul Mul x0 Mul Mul x1 x0 x1 atan x0 pi tan x0 
Add Mul tan x0 Mul Pow Mul Mul x0 Mul Mul x1 x0 x1 atan x0 Add pi -1 Mul pi Add Mul atan x0 Add Mul Mul x1 x0 x1 Mul x0 Mul x1 x1 Mul Mul x0 Mul Mul x1 x0 x1 Pow Add 1 Mul x0 x0 -1 Mul Pow Mul Mul x0 Mul Mul x1 x0 x1 atan x0 pi Pow sec x0 2 