int sqrt(a^2-y^2) dy