\[ -\text {a0}-\text {a1} y(x)-\text {a2} y(x)^2-\text {a3} y(x)^3+y'(x)=0 \] ✓ Mathematica : cpu = 0.138756 (sec), leaf count = 54
\[\text {Solve}\left [\text {RootSum}\left [\text {$\#$1}^3 \text {a3}+\text {$\#$1}^2 \text {a2}+\text {$\#$1} \text {a1}+\text {a0}\& ,\frac {\log (y(x)-\text {$\#$1})}{3 \text {$\#$1}^2 \text {a3}+2 \text {$\#$1} \text {a2}+\text {a1}}\& \right ]=x+c_1,y(x)\right ]\] ✓ Maple : cpu = 0.016 (sec), leaf count = 30
\[x -\left (\int _{}^{y \relax (x )}\frac {1}{\textit {\_a}^{3} \mathit {a3} +\textit {\_a}^{2} \mathit {a2} +\textit {\_a} \mathit {a1} +\mathit {a0}}d \textit {\_a} \right )+c_{1} = 0\]