(x^2+2x+8-4\sqrt{3})(x^2-6x+16-4\sqrt{3})