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