Distributive property simplification