Quantitative Reasoning on Hybrid Formulas with Dynamic Programming