add a phase to reverse distributive law rules