Integrate[Sqrt[a^2 - x^2], x]