$$\int_{0}^{\frac{\pi}{2}}2x\ \sin(\frac{\pi}{2}-x^{2})dx$$
$\cos(\frac{\pi \left(2-\pi \right)}{4})\approx 0.624265953$
