\[ \text {Global$\grave { }$x} \text {Global$\grave { }$y}'(\text {Global$\grave { }$x}) (-\text {Global$\grave { }$a} \text {Global$\grave { }$x}+\text {Global$\grave { }$y}(\text {Global$\grave { }$x})+\text {Global$\grave { }$y}(\text {Global$\grave { }$x}) \log (\text {Global$\grave { }$x} \text {Global$\grave { }$y}(\text {Global$\grave { }$x})))-\text {Global$\grave { }$y}(\text {Global$\grave { }$x}) (\text {Global$\grave { }$a} \text {Global$\grave { }$x} \log (\text {Global$\grave { }$x} \text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\text {Global$\grave { }$a} \text {Global$\grave { }$x}-\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))=0 \] ✓ Mathematica : cpu = 0.0579728 (sec), leaf count = 24
\[\text {Solve}\left [\text {Global$\grave { }$a} \text {Global$\grave { }$x} \log (\text {Global$\grave { }$x} \text {Global$\grave { }$y}(\text {Global$\grave { }$x}))-\text {Global$\grave { }$y}(\text {Global$\grave { }$x}) \log (\text {Global$\grave { }$x} \text {Global$\grave { }$y}(\text {Global$\grave { }$x}))=c_1,\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\right ]\]
✓ Maple : cpu = 0.277 (sec), leaf count = 19
\[ \left \{ \left ( xy \left ( x \right ) \right ) ^{-ax+y \left ( x \right ) }-{\it \_C1}=0 \right \} \]