[boost] Minimal recalculation in formulas, using boost::proto