ⅆⅆ⁡z⁡arccos⁡z=-(1-z2)-1/2,