Mul x0 Add -3 Add 1 sec exp Add log sqrt sec x0 x0 
Add Add -3 Add 1 sec exp Add log sqrt sec x0 x0 Mul x0 Mul Mul tan exp Add log sqrt sec x0 x0 sec exp Add log sqrt sec x0 x0 Mul exp Add log sqrt sec x0 x0 Add Mul Mul Pow Mul 2 sqrt sec x0 -1 Mul tan x0 sec x0 Pow sqrt sec x0 -1 1 