Somewhere in the provided answer:
$$\int \frac{1}{\sqrt{2-x^2}} dx = \sin^{-1}{\frac{x}{\sqrt{2}}}$$
How did they get that? What I have:
$$\frac{1}{\sqrt{2-x^2}} = \frac{1}{\sqrt{2(1-\frac{x^2}{2})}} = \frac{1}{\sqrt{2} \sqrt{1-\frac{x^2}{2}}}$$
$$\frac{1}{\sqrt{2}} \int \frac{1}{\sqrt{1-(\frac{x}{\sqrt{2}})^2}} = \frac{1}{\sqrt{2}} \sin^{-1}{\frac{x}{\sqrt{2}}}$$
So I have an extra $\frac{1}{\sqrt{2}}$ ... I probably had some stupid mistakes?