∫arccos⁡x⁢ⅆ⁡x=x⁢arccos⁡x-(1-x2)1/2,