Add Mul Mul x0 sec x0 -2 Add x0 Add x3 Mul Add Mul x2 x0 x0 acot Pow x0 Mul 3 x4 
Add Mul -2 Add sec x0 Mul x0 Mul tan x0 sec x0 Add 1 Add Mul acot Pow x0 Mul 3 x4 Add x2 1 Mul Add Mul x2 x0 x0 Mul -1 Mul Mul Pow x0 Add Mul 3 x4 -1 Mul 3 x4 Pow Add 1 Mul Pow x0 Mul 3 x4 Pow x0 Mul 3 x4 -1 