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