dsl_arithmetic_5_optimize_test.cpp

expression e = add({
  cst(1),
  cst(2),
  mul({cst(0), var("x"), var("y")}),
  mul({cst(1), var("y"), cst(2)}),
  add({cst(0), var("x")})
});

//Initial expression
std::cout << cata<std::string>(print_alg, e) << '\n';

//Will output
"(+ 1 2 (* 0 x y) (* 1 y 2) (+ 0 x))"

//Optimized expression
auto o = cata<expression>(optimize_alg, e);
std::cout << cata<std::string>(print_alg, o) << '\n';
  
//Will output
"(+ (* y 2) x 3)"