sec Mul Pow x0 -3 Add Add x0 x0 sec x0 
Mul Mul tan Mul Pow x0 -3 Add Add x0 x0 sec x0 sec Mul Pow x0 -3 Add Add x0 x0 sec x0 Add Mul Add Add x0 x0 sec x0 Mul Pow x0 4 -3 Mul Pow x0 -3 Add 2 Mul tan x0 sec x0 