Pow exp Add x0 exp exp x0 sec x0 
Mul Pow exp Add x0 exp exp x0 Add sec x0 -1 Add Mul sec x0 Mul exp Add x0 exp exp x0 Add 1 Mul exp exp x0 exp x0 Mul Mul exp Add x0 exp exp x0 log exp Add x0 exp exp x0 Mul tan x0 sec x0 