Mul Add Pow atan tan x0 Add tan x0 -1 x0 Add x3 Add x1 x0 
Add Mul Add x3 Add x1 x0 Add Mul Pow atan tan x0 Add Add tan x0 -1 -1 Add Mul Add tan x0 -1 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 Mul Mul atan tan x0 log atan tan x0 Pow sec x0 2 1 Add Pow atan tan x0 Add tan x0 -1 x0 