∫tanh⁡x⁢ⅆ⁡x=ln⁡(cosh⁡x).