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