Mul Pow Mul sec x0 Pow x0 2 x7 Pow x0 x7 
Add Mul Pow x0 x7 Mul Pow Mul sec x0 Pow x0 2 Add x7 -1 Mul x7 Add Mul Pow x0 2 Mul tan x0 sec x0 Mul sec x0 Mul x0 2 Mul Pow Mul sec x0 Pow x0 2 x7 Mul Pow x0 Add x7 -1 x7 