Simplifying expressions and applying properties