Add Pow pi sec x0 Mul sec Mul Mul x0 x0 sec x6 x0 
Add Mul Pow pi Add sec x0 -1 Mul Mul pi log pi Mul tan x0 sec x0 Add Mul x0 Mul Mul tan Mul Mul x0 x0 sec x6 sec Mul Mul x0 x0 sec x6 Mul sec x6 Add x0 x0 sec Mul Mul x0 x0 sec x6 