Symbolic vs Numeric Optimization