Simplifying using the distributive property