integral (1-t^2)^(1/2)