\int  \sqrt{a^2 - x^2} dx = \frac{1}{2} x \sqrt{a^2-x^2}
+\frac{1}{2}a^2\tan^{-1}\frac{x}{\sqrt{a^2-x^2}}+C