\[ \left \{x'(t)=c y(t)-b z(t),y'(t)=a z(t)-c x(t),z'(t)=b x(t)-a y(t)\right \} \] ✓ Mathematica : cpu = 0.0425405 (sec), leaf count = 1445
\[\left \{\left \{x(t)\to \frac {e^{-\sqrt {-a^2-b^2-c^2} t} \left (2 e^{\sqrt {-a^2-b^2-c^2} t} a^2+b^2 e^{2 \sqrt {-a^2-b^2-c^2} t}+c^2 e^{2 \sqrt {-a^2-b^2-c^2} t}+b^2+c^2\right ) c_1}{2 \left (a^2+b^2+c^2\right )}-\frac {e^{-\sqrt {-a^2-b^2-c^2} t} \left (-1+e^{\sqrt {-a^2-b^2-c^2} t}\right ) \left (a e^{\sqrt {-a^2-b^2-c^2} t} b-a b+c \sqrt {-a^2-b^2-c^2} e^{\sqrt {-a^2-b^2-c^2} t}+c \sqrt {-a^2-b^2-c^2}\right ) c_2}{2 \left (a^2+b^2+c^2\right )}-\frac {e^{-\sqrt {-a^2-b^2-c^2} t} \left (-1+e^{\sqrt {-a^2-b^2-c^2} t}\right ) \left (-\sqrt {-a^2-b^2-c^2} e^{\sqrt {-a^2-b^2-c^2} t} b-\sqrt {-a^2-b^2-c^2} b+a c e^{\sqrt {-a^2-b^2-c^2} t}-a c\right ) c_3}{2 \left (a^2+b^2+c^2\right )},y(t)\to -\frac {e^{-\sqrt {-a^2-b^2-c^2} t} \left (-1+e^{\sqrt {-a^2-b^2-c^2} t}\right ) \left (a e^{\sqrt {-a^2-b^2-c^2} t} b-a b-c \sqrt {-a^2-b^2-c^2} e^{\sqrt {-a^2-b^2-c^2} t}-c \sqrt {-a^2-b^2-c^2}\right ) c_1}{2 \left (a^2+b^2+c^2\right )}+\frac {e^{-\sqrt {-a^2-b^2-c^2} t} \left (e^{2 \sqrt {-a^2-b^2-c^2} t} a^2+a^2+2 b^2 e^{\sqrt {-a^2-b^2-c^2} t}+c^2 e^{2 \sqrt {-a^2-b^2-c^2} t}+c^2\right ) c_2}{2 \left (a^2+b^2+c^2\right )}-\frac {e^{-\sqrt {-a^2-b^2-c^2} t} \left (-1+e^{\sqrt {-a^2-b^2-c^2} t}\right ) \left (\sqrt {-a^2-b^2-c^2} e^{\sqrt {-a^2-b^2-c^2} t} a+\sqrt {-a^2-b^2-c^2} a+b c e^{\sqrt {-a^2-b^2-c^2} t}-b c\right ) c_3}{2 \left (a^2+b^2+c^2\right )},z(t)\to -\frac {e^{-\sqrt {-a^2-b^2-c^2} t} \left (-1+e^{\sqrt {-a^2-b^2-c^2} t}\right ) \left (\sqrt {-a^2-b^2-c^2} e^{\sqrt {-a^2-b^2-c^2} t} b+\sqrt {-a^2-b^2-c^2} b+a c e^{\sqrt {-a^2-b^2-c^2} t}-a c\right ) c_1}{2 \left (a^2+b^2+c^2\right )}-\frac {e^{-\sqrt {-a^2-b^2-c^2} t} \left (-1+e^{\sqrt {-a^2-b^2-c^2} t}\right ) \left (-\sqrt {-a^2-b^2-c^2} e^{\sqrt {-a^2-b^2-c^2} t} a-\sqrt {-a^2-b^2-c^2} a+b c e^{\sqrt {-a^2-b^2-c^2} t}-b c\right ) c_2}{2 \left (a^2+b^2+c^2\right )}+\frac {e^{-\sqrt {-a^2-b^2-c^2} t} \left (e^{2 \sqrt {-a^2-b^2-c^2} t} a^2+a^2+2 c^2 e^{\sqrt {-a^2-b^2-c^2} t}+b^2 e^{2 \sqrt {-a^2-b^2-c^2} t}+b^2\right ) c_3}{2 \left (a^2+b^2+c^2\right )}\right \}\right \}\] ✓ Maple : cpu = 0.079 (sec), leaf count = 257
\[ \left \{ \left \{ x \left ( t \right ) ={\it \_C1}+{\it \_C2}\,\sin \left ( \sqrt {{a}^{2}+{b}^{2}+{c}^{2}}t \right ) +{\it \_C3}\,\cos \left ( \sqrt {{a}^{2}+{b}^{2}+{c}^{2}}t \right ) ,y \left ( t \right ) ={\frac {1}{a \left ( {b}^{2}+{c}^{2} \right ) } \left ( \left ( -{\it \_C3}\,{a}^{2}b+\sqrt {{a}^{2}+{b}^{2}+{c}^{2}}{\it \_C2}\,ac \right ) \cos \left ( \sqrt {{a}^{2}+{b}^{2}+{c}^{2}}t \right ) + \left ( -{\it \_C2}\,{a}^{2}b-\sqrt {{a}^{2}+{b}^{2}+{c}^{2}}{\it \_C3}\,ac \right ) \sin \left ( \sqrt {{a}^{2}+{b}^{2}+{c}^{2}}t \right ) +b{\it \_C1}\, \left ( {b}^{2}+{c}^{2} \right ) \right ) },z \left ( t \right ) ={\frac {1}{a \left ( {b}^{2}+{c}^{2} \right ) } \left ( \left ( -{\it \_C3}\,{a}^{2}c-\sqrt {{a}^{2}+{b}^{2}+{c}^{2}}{\it \_C2}\,ab \right ) \cos \left ( \sqrt {{a}^{2}+{b}^{2}+{c}^{2}}t \right ) + \left ( -{\it \_C2}\,{a}^{2}c+\sqrt {{a}^{2}+{b}^{2}+{c}^{2}}{\it \_C3}\,ab \right ) \sin \left ( \sqrt {{a}^{2}+{b}^{2}+{c}^{2}}t \right ) +c{\it \_C1}\, \left ( {b}^{2}+{c}^{2} \right ) \right ) } \right \} \right \} \]