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