\[ \left \{\left (-t^2+x(t)^2+y(t)^2\right ) x'(t)=-2 t x(t),\left (-t^2+x(t)^2+y(t)^2\right ) y'(t)=-2 t y(t)\right \} \] ✓ Mathematica : cpu = 0.0716262 (sec), leaf count = 179
\[\left \{\left \{y(t)\to -\frac {c_1 \left (\sqrt {e^{2 c_2}-4 \left (c_1^2+1\right ) t^2}-e^{c_2}\right )}{2 \left (c_1^2+1\right )},x(t)\to \frac {e^{c_2}-\sqrt {e^{2 c_2}-4 \left (c_1^2+1\right ) t^2}}{2 \left (c_1^2+1\right )}\right \},\left \{y(t)\to \frac {c_1 \left (\sqrt {e^{2 c_2}-4 \left (c_1^2+1\right ) t^2}+e^{c_2}\right )}{2 \left (c_1^2+1\right )},x(t)\to \frac {\sqrt {e^{2 c_2}-4 \left (c_1^2+1\right ) t^2}+e^{c_2}}{2 \left (c_1^2+1\right )}\right \}\right \}\]
✓ Maple : cpu = 0.309 (sec), leaf count = 180
\[ \left \{ [ \left \{ x \left ( t \right ) =0 \right \} , \left \{ y \left ( t \right ) ={\frac {1}{2\,{\it \_C1}} \left ( 1+\sqrt {-4\,{{\it \_C1}}^{2}{t}^{2}+1} \right ) },y \left ( t \right ) ={\frac {1}{2\,{\it \_C1}} \left ( 1-\sqrt {-4\,{{\it \_C1}}^{2}{t}^{2}+1} \right ) } \right \} ],[ \left \{ x \left ( t \right ) ={\frac {1}{2\,{\it \_C2}} \left ( {\it \_C1}-\sqrt {-2\,{\it \_C2}\,{t}^{2}+{{\it \_C1}}^{2}} \right ) },x \left ( t \right ) ={\frac {1}{2\,{\it \_C2}} \left ( {\it \_C1}+\sqrt {-2\,{\it \_C2}\,{t}^{2}+{{\it \_C1}}^{2}} \right ) } \right \} , \left \{ y \left ( t \right ) ={\frac {1}{{\frac {\rm d}{{\rm d}t}}x \left ( t \right ) }\sqrt { \left ( {\frac {\rm d}{{\rm d}t}}x \left ( t \right ) \right ) \left ( \left ( {t}^{2}- \left ( x \left ( t \right ) \right ) ^{2} \right ) {\frac {\rm d}{{\rm d}t}}x \left ( t \right ) -2\,tx \left ( t \right ) \right ) }},y \left ( t \right ) =-{\frac {1}{{\frac {\rm d}{{\rm d}t}}x \left ( t \right ) }\sqrt { \left ( {\frac {\rm d}{{\rm d}t}}x \left ( t \right ) \right ) \left ( \left ( {t}^{2}- \left ( x \left ( t \right ) \right ) ^{2} \right ) {\frac {\rm d}{{\rm d}t}}x \left ( t \right ) -2\,tx \left ( t \right ) \right ) }} \right \} ] \right \} \]