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