How did Euler realize $x^4-4x^3+2x^2+4x+4=(x^2-(2+\alpha)x+1+\sqrt{7}+\alpha)(x^2-(2-\alpha)x+1+\sqrt{7}-\alpha)$? How did Euler find this factorization?
$$\small x^4 −  4x^3 + 2x^2 + 4x + 4=(x^2-(2+\alpha)x+1+\sqrt{7}+\alpha)(x^2-(2-\alpha)x+1+\sqrt{7}-\alpha)$$
where $\alpha = \sqrt{4+2\sqrt{7}}$
I know that he had some super powers, like he was sent to us from a super intelligent alien universe just to humiliate our intelligence, but how the hell did he do that three centuries ago? :|

Hint:As @illysial, @Mehdi and others indicated, the substitution $x = t+1$ transforms the expression $x^4 −  4x^3 + 2x^2 + 4x + 4$ into $t^4-4 t^2+7$.
