construct/rlve polynomial global minimum
construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (17) x^0 + (30) x^1 + (25) x^2 + (8) x^3 + (1) x^4.
The task
Let f(x) = (17)*x^0 + (30)*x^1 + (25)*x^2 + (8)*x^3 + (1)*x^4.