What is the derivative of (cos x) / (1 + tan x)?