antiderivative sqrt(1-y^2)