sec Mul x0 Add Mul sec x0 Add x0 Pow x0 x3 Add x6 x0 
Mul Mul tan Mul x0 Add Mul sec x0 Add x0 Pow x0 x3 Add x6 x0 sec Mul x0 Add Mul sec x0 Add x0 Pow x0 x3 Add x6 x0 Add Add Mul sec x0 Add x0 Pow x0 x3 Add x6 x0 Mul x0 Add Add Mul Add x0 Pow x0 x3 Mul tan x0 sec x0 Mul sec x0 Add 1 Mul Pow x0 Add x3 -1 x3 1 