Primitive of x over Hyperbolic Cosine of a x

Theorem
where $E_{2 n}$ denotes the $2 n$th Euler number.

Also see

 * Primitive of $\dfrac x {\sinh a x}$