\[ \left \{\left (t^2+1\right ) x'(t)=y(t)-t x(t),\left (t^2+1\right ) y'(t)=-x(t)-t y(t)\right \} \] ✓ Mathematica : cpu = 0.0105972 (sec), leaf count = 53
\[\left \{\left \{x(t)\to \frac {c_1}{t^2+1}+\frac {c_2 t}{t^2+1},y(t)\to \frac {c_2}{t^2+1}-\frac {c_1 t}{t^2+1}\right \}\right \}\] ✓ Maple : cpu = 0.055 (sec), leaf count = 35
\[\left \{\left \{x \left (t \right ) = \frac {c_{1} t +c_{2}}{t^{2}+1}, y \left (t \right ) = \frac {-c_{2} t +c_{1}}{t^{2}+1}\right \}\right \}\]