construct/rlve polynomial global minimum

construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (91) x^0 + (-228) x^1 + (384) x^2 + (-352) x^3 + (551) x^4 + (-460) x^5 + (449) x^6 + (-232) x^7 + (91) x^8 + (-20) x^9 + (2) x^10 + (2) x^12 + (2) x^14.

The task

Let f(x) = (91)*x^0 + (-228)*x^1 + (384)*x^2 + (-352)*x^3 + (551)*x^4 + (-460)*x^5 + (449)*x^6 + (-232)*x^7 + (91)*x^8 + (-20)*x^9 + (2)*x^10 + (2)*x^12 + (2)*x^14.

Part of amphora/MathConstructOptimize-Envs-harbor.