Applying properties to algebraic expressions