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