\[ \text {Global$\grave { }$y}'(\text {Global$\grave { }$x}) \cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x})) (\cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))-\sin (\text {Global$\grave { }$alpha}) \sin (\text {Global$\grave { }$x}))+\cos (\text {Global$\grave { }$x}) (\cos (\text {Global$\grave { }$x})-\sin (\text {Global$\grave { }$alpha}) \sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x})))=0 \] ✓ Mathematica : cpu = 0.13187 (sec), leaf count = 43
\[\text {Solve}\left [4 \sin (\text {Global$\grave { }$alpha}) \sin (\text {Global$\grave { }$x}) \sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))-4 \left (\frac {\text {Global$\grave { }$y}(\text {Global$\grave { }$x})}{2}+\frac {1}{4} \sin (2 \text {Global$\grave { }$y}(\text {Global$\grave { }$x}))\right )-2 \text {Global$\grave { }$x}-\sin (2 \text {Global$\grave { }$x})=c_1,\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\right ]\]
✓ Maple : cpu = 0.285 (sec), leaf count = 35
\[ \left \{ -\sin \left ( \alpha \right ) \sin \left ( x \right ) \sin \left ( y \left ( x \right ) \right ) +{\frac {\cos \left ( x \right ) \sin \left ( x \right ) }{2}}+{\frac {x}{2}}+{\frac {\sin \left ( y \left ( x \right ) \right ) \cos \left ( y \left ( x \right ) \right ) }{2}}+{\frac {y \left ( x \right ) }{2}}+{\it \_C1}=0 \right \} \]