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