\[ -\text {a0}-\text {a1} y(x)-\text {a2} y(x)^2-\text {a3} y(x)^3+y'(x)=0 \] ✓ Mathematica : cpu = 0.0497017 (sec), leaf count = 1
\[\{\}\]
✓ Maple : cpu = 0.014 (sec), leaf count = 30
\[ \left \{ x-\int ^{y \left ( x \right ) }\! \left ( {{\it \_a}}^{3}{\it a3}+{{\it \_a}}^{2}{\it a2}+{\it \_a}\,{\it a1}+{\it a0} \right ) ^{-1}{d{\it \_a}}+{\it \_C1}=0 \right \} \]