construct/rlve polynomial global minimum
construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (2069) x^0 + (10246) x^1 + (23227) x^2 + (31192) x^3 + (27901) x^4 + (17724) x^5 + (8570) x^6 + (3504) x^7 + (1352) x^8 + (480) x^9 + (134) x^10 + (24) x^11 + (2) x^12 + (2) x^14.
The task
Let f(x) = (2069)*x^0 + (10246)*x^1 + (23227)*x^2 + (31192)*x^3 + (27901)*x^4 + (17724)*x^5 + (8570)*x^6 + (3504)*x^7 + (1352)*x^8 + (480)*x^9 + (134)*x^10 + (24)*x^11 + (2)*x^12 + (2)*x^14.