Add Pow Add x0 sec x1 Mul sec x0 sin x0 E 
Mul Pow Add x0 sec x1 Add Mul sec x0 sin x0 -1 Add Mul sec x0 sin x0 Mul Mul Add x0 sec x1 log Add x0 sec x1 Add Mul sin x0 Mul tan x0 sec x0 Mul sec x0 cos x0 