$$\int_0^{\frac\pi2}\frac{dx}{1+\sin^2(\tan x)}$$
First, I tried to set
$$t=\tan x$$
Then I got $$\int_0^\infty\frac{dt}{(1+t^2)(1+\sin^2t)}$$
applied a trig identity, $1+ \sin^2t=\frac{1}{2}(3-\cos2 t)$
I got
$$\int_0^\infty\frac{dt}{(1+t^2)\left(\frac12(3-\cos 2t)\right)}$$
I don't know how to keep going to solve it.
can some one give me a hint?
Thanks