We show that any subset of $[N]$ of density at least $(\log\log{N})^{-2^{-157}}$ contains a nontrivial progression of the form $x,x+y,x+y^2$. This is the first quantitatively effective version of the Bergelson--Leibman polynomial Szemer\'edi theorem for a progression involving polynomials of differing degrees. In the course of the proof, we also develop a quantitative version of a special case of a concatenation theorem of Tao and Ziegler, with polynomial bounds.