Primitive of x over Cosine of a x

Theorem
where $E_n$ denotes the $n$th Euler number.

Also see

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