DRedSOP: Synthesis of a new class of regular functions