Integrals I: Feynman's Trick · Superchallenge problem

Evaluate $\displaystyle\int_0^{\pi/2} \ln\!\left(1 + 3\sin^2 x\right)dx$. Express your answer in terms of $\pi$ and a logarithm.