Exact minimization of dual Reed-Muller expansions