Pow Mul sec x0 Mul Add Pow x4 sec x0 x0 2 x1 
Mul Pow Mul sec x0 Mul Add Pow x4 sec x0 x0 2 Add x1 -1 Mul x1 Add Mul Mul Add Pow x4 sec x0 x0 2 Mul tan x0 sec x0 Mul sec x0 Mul 2 Add Mul Pow x4 Add sec x0 -1 Mul Mul x4 log x4 Mul tan x0 sec x0 1 