\int_0^{pi/2} \frac{ 1+(\sin x)}{\tan x+1} dx