Primitive of x by Secant of a x

Theorem
where $E_{2 n}$ is the $2 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$