∫arccosh⁡x⁢ⅆ⁡x=x⁢arccosh⁡x-(x2-1)1/2,