Apply distributive property (#771)