Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Wagner: More is Less: Adding Polynomials for Faster Explanations in NLSAT. CADE 2025: 116-135