Primitive of Reciprocal of x fourth plus a fourth/Lemma 2

Lemma for Primitive of Reciprocal of $x^4 + a^4$

 * $\ds \int \frac {\d x} {x^2 - a x \sqrt 2 + a^2} = \frac {-\sqrt 2} a \map \arctan {1 - \frac {x \sqrt 2} a}$

Proof
The discriminant of $x^2 - a x \sqrt 2 + a^2$ is:

Thus: