integral sqr(a^2-x^2) from 0 to a