\[ \text {Global$\grave { }$a}+\text {Global$\grave { }$x} \text {Global$\grave { }$y}'(\text {Global$\grave { }$x})^2+\text {Global$\grave { }$y}(\text {Global$\grave { }$x}) \text {Global$\grave { }$y}'(\text {Global$\grave { }$x})=0 \] ✓ Mathematica : cpu = 27.0817 (sec), leaf count = 16145
\[ \text {too large to display}\]
✓ Maple : cpu = 0.04 (sec), leaf count = 146
\[ \left \{ -{{x}^{2}{\it \_C1} \left ( {\frac {1}{x} \left ( -y \left ( x \right ) +\sqrt { \left ( y \left ( x \right ) \right ) ^{2}-4\,ax} \right ) } \right ) ^{{\frac {3}{2}}} \left ( -y \left ( x \right ) +\sqrt { \left ( y \left ( x \right ) \right ) ^{2}-4\,ax} \right ) ^{-2}}+x+{\frac {4\,a{x}^{2}}{3} \left ( -y \left ( x \right ) +\sqrt { \left ( y \left ( x \right ) \right ) ^{2}-4\,ax} \right ) ^{-2}}=0,{{x}^{2}{\it \_C1} \left ( {\frac {1}{x} \left ( -2\,y \left ( x \right ) -2\,\sqrt { \left ( y \left ( x \right ) \right ) ^{2}-4\,ax} \right ) } \right ) ^{{\frac {3}{2}}} \left ( y \left ( x \right ) +\sqrt { \left ( y \left ( x \right ) \right ) ^{2}-4\,ax} \right ) ^{-2}}+x+{\frac {4\,a{x}^{2}}{3} \left ( y \left ( x \right ) +\sqrt { \left ( y \left ( x \right ) \right ) ^{2}-4\,ax} \right ) ^{-2}}=0 \right \} \]