Integral(sqrt(a^2-x^2)).. how does it come to the sine