$$ \int_{0}^{\pi/2} x^2 \ln^2(2\cos x) \ln^2(2\sin x) \, dx $$