Simplifying Linear Expressions