integrate cos x / (1+tan x) dx