int from 0 to a of 2xsqrt(a^2-x^2)dx