Wrote common subexpresion elimination, but haven't tested yet