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