An experiment in using DAGs for common subexpression elimination.