\[ \left \{-t^2+x'(t)+y(t)+6 t+1=0,y'(t)-x(t)=-3 t^2+3 t+1\right \} \] ✓ Mathematica : cpu = 0.0998978 (sec), leaf count = 124
\[\left \{\left \{x(t)\to \cos (t) \left (\left (3 t^2-t-13\right ) \cos (t)+(t-12) t \sin (t)\right )-\sin (t) \left (\left (-3 t^2+t+13\right ) \sin (t)+(t-12) t \cos (t)\right )+c_1 \cos (t)-c_2 \sin (t),y(t)\to \cos (t) \left (\left (-3 t^2+t+13\right ) \sin (t)+(t-12) t \cos (t)\right )+\sin (t) \left (\left (3 t^2-t-13\right ) \cos (t)+(t-12) t \sin (t)\right )+c_2 \cos (t)+c_1 \sin (t)\right \}\right \}\] ✓ Maple : cpu = 0.047 (sec), leaf count = 42
\[\{\{x \left (t \right ) = c_{1} \cos \left (t \right )+c_{2} \sin \left (t \right )+3 t^{2}-t -13, y \left (t \right ) = c_{1} \sin \left (t \right )-c_{2} \cos \left (t \right )+t^{2}-12 t\}\}\]