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