[Common subexpression elimination](https://en.wikipedia.org/wiki/Common_subexpression_elimination) would be a nice optimization that can even be implemented on AST level.