((x^2-3)^3-(2-2x^2)^2+3 (x^2-3)) = (x^4+ax^2+b)(x^2+c)