construct/rlve polynomial global minimum
construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (5190) x^0 + (-29512) x^1 + (79379) x^2 + (-127900) x^3 + (140291) x^4 + (-109484) x^5 + (62525) x^6 + (-26312) x^7 + (8101) x^8 + (-1780) x^9 + (265) x^10 + (-24) x^11 + (1) x^12 +…
The task
Let f(x) = (5190)*x^0 + (-29512)*x^1 + (79379)*x^2 + (-127900)*x^3 + (140291)*x^4 + (-109484)*x^5 + (62525)*x^6 + (-26312)*x^7 + (8101)*x^8 + (-1780)*x^9 + (265)*x^10 + (-24)*x^11 + (1)*x^12 + (1)*x^14.