atan Add csc sec x0 Mul csc x0 Add x0 Mul 2 x3 
Mul Add Mul Mul Mul -1 cot sec x0 csc sec x0 Mul tan x0 sec x0 Add Mul Add x0 Mul 2 x3 Mul Mul -1 cot x0 csc x0 csc x0 Pow Add 1 Mul Add csc sec x0 Mul csc x0 Add x0 Mul 2 x3 Add csc sec x0 Mul csc x0 Add x0 Mul 2 x3 -1 