\[ \cos (\text {Global$\grave { }$x}) \text {Global$\grave { }$y}'(\text {Global$\grave { }$x}) \sin (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))+\sin (\text {Global$\grave { }$x}) \cos (\text {Global$\grave { }$y}(\text {Global$\grave { }$x}))=0 \] ✓ Mathematica : cpu = 0.0429454 (sec), leaf count = 29
\[\left \{\left \{\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\to -\cos ^{-1}\left (\frac {1}{2} c_1 \sec (\text {Global$\grave { }$x})\right )\right \},\left \{\text {Global$\grave { }$y}(\text {Global$\grave { }$x})\to \cos ^{-1}\left (\frac {1}{2} c_1 \sec (\text {Global$\grave { }$x})\right )\right \}\right \}\]
✓ Maple : cpu = 0.07 (sec), leaf count = 11
\[ \left \{ y \left ( x \right ) =\arccos \left ( {\frac {{\it \_C1}}{\cos \left ( x \right ) }} \right ) \right \} \]