\int_{0}^{\pi/2}\frac{1}{(1+x^2)(1+\tan x)} dx