\[ \text {Global$\grave { }$y}'(\text {Global$\grave { }$x})^2-2 \text {Global$\grave { }$y}'(\text {Global$\grave { }$x})-\text {Global$\grave { }$y}(\text {Global$\grave { }$x})^2=0 \] ✓ Mathematica : cpu = 0.0625043 (sec), leaf count = 73
\[\left \{\left \{\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\to \text {InverseFunction}\left [-\frac {\sqrt {\text {$\#$1}^2+1}}{\text {$\#$1}}-\frac {1}{\text {$\#$1}}+\sinh ^{-1}(\text {$\#$1})\& \right ]\left [c_1-\text {Global$\grave { }$x}\right ]\right \},\left \{\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\to \text {InverseFunction}\left [-\frac {\sqrt {\text {$\#$1}^2+1}}{\text {$\#$1}}+\frac {1}{\text {$\#$1}}+\sinh ^{-1}(\text {$\#$1})\& \right ]\left [c_1+\text {Global$\grave { }$x}\right ]\right \}\right \}\]
✓ Maple : cpu = 0.65 (sec), leaf count = 85
\[ \left \{ x- \left ( y \left ( x \right ) \right ) ^{-1}-{\frac {1}{y \left ( x \right ) } \left ( \left ( y \left ( x \right ) \right ) ^{2}+1 \right ) ^{{\frac {3}{2}}}}+y \left ( x \right ) \sqrt { \left ( y \left ( x \right ) \right ) ^{2}+1}+{\it Arcsinh} \left ( y \left ( x \right ) \right ) -{\it \_C1}=0,x- \left ( y \left ( x \right ) \right ) ^{-1}+{\frac {1}{y \left ( x \right ) } \left ( \left ( y \left ( x \right ) \right ) ^{2}+1 \right ) ^{{\frac {3}{2}}}}-y \left ( x \right ) \sqrt { \left ( y \left ( x \right ) \right ) ^{2}+1}-{\it Arcsinh} \left ( y \left ( x \right ) \right ) -{\it \_C1}=0 \right \} \]