reducer::reduce: canonicalize coefficients in each recursion step