Distributive property and simplifying expressions