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