$\int_0^{\sqrt2}\sin^{-1}\left(\frac{\sqrt{2-x^2}}{2}\right)dx$