How do you verify the identity: sec x - cos x = sin x tan x?