integral of sqrt(a^2 - x^2)