\frac{d}{dx} sec x = tan x sec x