\[ \text {Global$\grave { }$y}(\text {Global$\grave { }$x}) \text {Global$\grave { }$y}'(\text {Global$\grave { }$x}) \left ((\text {Global$\grave { }$a} \text {Global$\grave { }$y}(\text {Global$\grave { }$x})+\text {Global$\grave { }$b} \text {Global$\grave { }$x})^3+\text {Global$\grave { }$b} \text {Global$\grave { }$x}^3\right )+\text {Global$\grave { }$x} \left ((\text {Global$\grave { }$a} \text {Global$\grave { }$y}(\text {Global$\grave { }$x})+\text {Global$\grave { }$b} \text {Global$\grave { }$x})^3+\text {Global$\grave { }$a} \text {Global$\grave { }$y}(\text {Global$\grave { }$x})^3\right )=0 \] ✓ Mathematica : cpu = 4.71309 (sec), leaf count = 13289
\[ \text {too large to display}\]
✓ Maple : cpu = 0.588 (sec), leaf count = 160
\[ \left \{ y \left ( x \right ) ={\frac {x \left ( {\it \_C1}\,x-b{\it RootOf} \left ( {b}^{2}{{\it \_Z}}^{4}-2\,bx{\it \_C1}\,{{\it \_Z}}^{3}+ \left ( {a}^{2}{x}^{2}{{\it \_C1}}^{2}+{b}^{2}{x}^{2}{{\it \_C1}}^{2}+{{\it \_C1}}^{2}{x}^{2}-{a}^{2} \right ) {{\it \_Z}}^{2}-2\,b{x}^{3}{{\it \_C1}}^{3}{\it \_Z}+{x}^{4}{{\it \_C1}}^{4} \right ) \right ) }{a{\it RootOf} \left ( {b}^{2}{{\it \_Z}}^{4}-2\,bx{\it \_C1}\,{{\it \_Z}}^{3}+ \left ( {a}^{2}{x}^{2}{{\it \_C1}}^{2}+{b}^{2}{x}^{2}{{\it \_C1}}^{2}+{{\it \_C1}}^{2}{x}^{2}-{a}^{2} \right ) {{\it \_Z}}^{2}-2\,b{x}^{3}{{\it \_C1}}^{3}{\it \_Z}+{x}^{4}{{\it \_C1}}^{4} \right ) }} \right \} \]