dsl_arithmetic_5_optimizations.h

expression opt_add_alg(expression_r<expression> const& e)
{
   if (auto* op = get_as_add(e))
      return optimize_op(*op, 0, std::plus<int>());
   return e;
}

expression opt_mul_alg(expression_r<expression> const& e)
{
   if (auto* op = get_as_mul(e))
   {
      if (has_zero(op->rands()))
         return cst(0);
      return optimize_op(*op, 1, std::multiplies<int>());
   }
   return e;
}

expression optimize_alg(expression_r<expression> const& e)
{
   return opt_mul_alg(opt_add_alg(e).get());
}