Comment by pfdietz

If I pull out the two terms 1+xy and 3 + 4xy as new variables, then make three polynomials that are <= 3 terms in each with coefficients in the range -3 to 3, then there are something like 10^19 possibilities. Multiply this by the various simple possibilities for the definitions of those two new variables.

The coefficients are mostly 1, so biasing toward that would make it much faster.