Recap: Simplification of Linear Expressions