> factor(((x^2-a)^2-a)^2-a)^2-a-x;
> factor((((x^2-a)^2-a)^2-a)^2-a)^2-a-x;
> factor(((((x^2-a)^2-a)^2-a)^2-a)^2-a)^2-a-x;
>