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