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