construct/rlve polynomial global minimum
construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (387) x^0 + (1402) x^1 + (2285) x^2 + (2104) x^3 + (1242) x^4 + (472) x^5 + (114) x^6 + (16) x^7 + (1) x^8.
The task
Let f(x) = (387)*x^0 + (1402)*x^1 + (2285)*x^2 + (2104)*x^3 + (1242)*x^4 + (472)*x^5 + (114)*x^6 + (16)*x^7 + (1)*x^8.