Add binary polynomial reduction