计算 integrate sqrt(1 - x^2) dx 。