Mul x0 Pow sec Pow x2 Add x0 tan x3 x0 
Add Pow sec Pow x2 Add x0 tan x3 x0 Mul x0 Mul Pow sec Pow x2 Add x0 tan x3 Add x0 -1 Add Mul x0 Mul Mul tan Pow x2 Add x0 tan x3 sec Pow x2 Add x0 tan x3 Mul Pow x2 Add Add x0 tan x3 -1 Mul x2 log x2 Mul sec Pow x2 Add x0 tan x3 log sec Pow x2 Add x0 tan x3 