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