construct/rlve polynomial global minimum
construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (259) x^0 + (1026) x^1 + (1809) x^2 + (1812) x^3 + (1136) x^4 + (454) x^5 + (113) x^6 + (16) x^7 + (1) x^8.
The task
Let f(x) = (259)*x^0 + (1026)*x^1 + (1809)*x^2 + (1812)*x^3 + (1136)*x^4 + (454)*x^5 + (113)*x^6 + (16)*x^7 + (1)*x^8.