Primitive of x by Secant of a x

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

Also see

 * Primitive of $x \sin a x$
 * Primitive of $x \cos a x$
 * Primitive of $x \tan a x$
 * Primitive of $x \cot a x$
 * Primitive of $x \csc a x$