I find it interesting to think of the work a compiler does as similar to the concept of "simplifying" an algebraic expression - searching for redundancy, combining like terms, replacing identities, etc.
Anyone have any academic terms / links for me to have a dig in this space?