积分dx/(1+根号1-x2)