यदि $$f(t)=\int_\limits0^\pi \frac{2 x \mathrm{~d} x}{1-\cos ^2 \mathrm{t} \sin ^2 x}, 0<\mathrm{t}<\pi$$, तो $$\int_\limits0^{\frac{\pi}{2}} \frac{\pi^2 \mathrm{dt}}{f(\mathrm{t})}$$ का मान __________ है।