Pow x0 Add Mul Mul x1 x0 Mul tan x0 sec Mul x0 x2 Mul x0 x0 
Mul Pow x0 Add Add Mul Mul x1 x0 Mul tan x0 sec Mul x0 x2 Mul x0 x0 -1 Add Add Mul Mul x1 x0 Mul tan x0 sec Mul x0 x2 Mul x0 x0 Mul Mul x0 log x0 Add Add Mul Mul tan x0 sec Mul x0 x2 x1 Mul Mul x1 x0 Add Mul sec Mul x0 x2 Pow sec x0 2 Mul tan x0 Mul Mul tan Mul x0 x2 sec Mul x0 x2 x2 Add x0 x0 