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