∫arctanh⁡x⁢ⅆ⁡x=x⁢arctanh⁡x+12⁢ln⁡(1-x2),