Primitive of Hyperbolic Cosecant Function/Inverse Hyperbolic Cotangent of Hyperbolic Cosine Form/Proof 1

Proof
Let:

Then: