2.1917   ODE No. 1917

1. Problem in Latex
2. Mathematica input
3. Maple input

$$\{x^{\prime }(t)=y(t{)}^2-\cos (x(t)),y^{\prime }(t)=y(t)(-\sin (x(t)))\}$$ ✓ Mathematica : cpu = 209.692 (sec), leaf count = 3406

$$\{\{y(t)\to \frac{3\sqrt[3]{2}\cos \left(\text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}){}^{2/3}}{22^{2/3}{\cos }^2(K[1])+2(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}){}^{2/3}\cos (K[1])+3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}}+\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[1])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}}}dK[1]\mathrm{\&}][\frac{t}{2}+c_2]\right)}{\sqrt[3]{81c_1+\sqrt{6561c_1{}^2-2916{\cos }^3\left(\text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}){}^{2/3}}{22^{2/3}{\cos }^2(K[1])+2(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}){}^{2/3}\cos (K[1])+3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}}+\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[1])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}}}dK[1]\mathrm{\&}][\frac{t}{2}+c_2]\right)}}}+\frac{\sqrt[3]{81c_1+\sqrt{6561c_1{}^2-2916{\cos }^3\left(\text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}){}^{2/3}}{22^{2/3}{\cos }^2(K[1])+2(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}){}^{2/3}\cos (K[1])+3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}}+\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[1])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}}}dK[1]\mathrm{\&}][\frac{t}{2}+c_2]\right)}}}{3\sqrt[3]{2}},x(t)\to \text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}){}^{2/3}}{22^{2/3}{\cos }^2(K[1])+2(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}){}^{2/3}\cos (K[1])+3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}}+\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[1])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[1])}}}dK[1]\mathrm{\&}][\frac{t}{2}+c_2]\},\{y(t)\to -\frac{3(1+i\sqrt{3})\cos \left(\text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}){}^{2/3}}{2i{2}^{2/3}\sqrt{3}{\cos }^2(K[2])-22^{2/3}{\cos }^2(K[2])+4(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}){}^{2/3}\cos (K[2])-3i\sqrt[3]{2}\sqrt{3}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-i\sqrt[3]{2}\sqrt{3}\sqrt{9c_1{}^2-4{\cos }^3(K[2])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[2])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}}dK[2]\mathrm{\&}][\frac{t}{4}+c_2]\right)}{2^{2/3}\sqrt[3]{81c_1+\sqrt{6561c_1{}^2-2916{\cos }^3\left(\text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}){}^{2/3}}{2i{2}^{2/3}\sqrt{3}{\cos }^2(K[2])-22^{2/3}{\cos }^2(K[2])+4(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}){}^{2/3}\cos (K[2])-3i\sqrt[3]{2}\sqrt{3}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-i\sqrt[3]{2}\sqrt{3}\sqrt{9c_1{}^2-4{\cos }^3(K[2])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[2])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}}dK[2]\mathrm{\&}][\frac{t}{4}+c_2]\right)}}}-\frac{(1-i\sqrt{3})\sqrt[3]{81c_1+\sqrt{6561c_1{}^2-2916{\cos }^3\left(\text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}){}^{2/3}}{2i{2}^{2/3}\sqrt{3}{\cos }^2(K[2])-22^{2/3}{\cos }^2(K[2])+4(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}){}^{2/3}\cos (K[2])-3i\sqrt[3]{2}\sqrt{3}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-i\sqrt[3]{2}\sqrt{3}\sqrt{9c_1{}^2-4{\cos }^3(K[2])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[2])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}}dK[2]\mathrm{\&}][\frac{t}{4}+c_2]\right)}}}{6\sqrt[3]{2}},x(t)\to \text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}){}^{2/3}}{2i{2}^{2/3}\sqrt{3}{\cos }^2(K[2])-22^{2/3}{\cos }^2(K[2])+4(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}){}^{2/3}\cos (K[2])-3i\sqrt[3]{2}\sqrt{3}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-i\sqrt[3]{2}\sqrt{3}\sqrt{9c_1{}^2-4{\cos }^3(K[2])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}-\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[2])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[2])}}}dK[2]\mathrm{\&}][\frac{t}{4}+c_2]\},\{y(t)\to -\frac{3(1-i\sqrt{3})\cos \left(\text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}){}^{2/3}}{-2i{2}^{2/3}\sqrt{3}{\cos }^2(K[3])-22^{2/3}{\cos }^2(K[3])+4(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}){}^{2/3}\cos (K[3])+3i\sqrt[3]{2}\sqrt{3}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}-3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}+i\sqrt[3]{2}\sqrt{3}\sqrt{9c_1{}^2-4{\cos }^3(K[3])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}-\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[3])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}}dK[3]\mathrm{\&}][\frac{t}{4}+c_2]\right)}{2^{2/3}\sqrt[3]{81c_1+\sqrt{6561c_1{}^2-2916{\cos }^3\left(\text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}){}^{2/3}}{-2i{2}^{2/3}\sqrt{3}{\cos }^2(K[3])-22^{2/3}{\cos }^2(K[3])+4(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}){}^{2/3}\cos (K[3])+3i\sqrt[3]{2}\sqrt{3}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}-3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}+i\sqrt[3]{2}\sqrt{3}\sqrt{9c_1{}^2-4{\cos }^3(K[3])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}-\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[3])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}}dK[3]\mathrm{\&}][\frac{t}{4}+c_2]\right)}}}-\frac{(1+i\sqrt{3})\sqrt[3]{81c_1+\sqrt{6561c_1{}^2-2916{\cos }^3\left(\text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}){}^{2/3}}{-2i{2}^{2/3}\sqrt{3}{\cos }^2(K[3])-22^{2/3}{\cos }^2(K[3])+4(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}){}^{2/3}\cos (K[3])+3i\sqrt[3]{2}\sqrt{3}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}-3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}+i\sqrt[3]{2}\sqrt{3}\sqrt{9c_1{}^2-4{\cos }^3(K[3])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}-\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[3])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}}dK[3]\mathrm{\&}][\frac{t}{4}+c_2]\right)}}}{6\sqrt[3]{2}},x(t)\to \text{InverseFunction}[{\int }_1^{\mathrm{\#}\text{1}}\frac{(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}){}^{2/3}}{-2i{2}^{2/3}\sqrt{3}{\cos }^2(K[3])-22^{2/3}{\cos }^2(K[3])+4(3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}){}^{2/3}\cos (K[3])+3i\sqrt[3]{2}\sqrt{3}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}-3\sqrt[3]{2}{c}_1\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}+i\sqrt[3]{2}\sqrt{3}\sqrt{9c_1{}^2-4{\cos }^3(K[3])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}-\sqrt[3]{2}\sqrt{9c_1{}^2-4{\cos }^3(K[3])}\sqrt[3]{3c_1+\sqrt{9c_1{}^2-4{\cos }^3(K[3])}}}dK[3]\mathrm{\&}][\frac{t}{4}+c_2]\}\}$$ ✓ Maple : cpu = 1.614 (sec), leaf count = 108

$$\{[\{x\left(t\right)=\mathit{R}\mathit{o}\mathit{o}\mathit{t}\mathit{O}\mathit{f}(-2{\int }^{\mathit{\_}\mathit{Z}}{(-\tan \left(\mathit{R}\mathit{o}\mathit{o}\mathit{t}\mathit{O}\mathit{f}(-3\sqrt{-{(\cos \left(\mathit{\_}\mathit{f}\right))}^2}\ln \left(9/4\frac{{(\cos \left(\mathit{\_}\mathit{f}\right))}^2}{{(\cos \left(\mathit{\_}\mathit{Z}\right))}^2}\right)+3\mathit{\_}\mathit{C}\mathit{1}\sqrt{-{(\cos \left(\mathit{\_}\mathit{f}\right))}^2}+2\mathit{\_}\mathit{Z}\cos \left(\mathit{\_}\mathit{f}\right))\right)\sqrt{-4\cos \left(2\mathit{\_}\mathit{f}\right)-4-{(\cos \left(\mathit{\_}\mathit{f}\right))}^2}+\cos \left(\mathit{\_}\mathit{f}\right))}^{-1}d\mathit{\_}\mathit{f}+t+\mathit{\_}\mathit{C}\mathit{2})\},\{y\left(t\right)=\sqrt{\frac{\mathrm{d}}{\mathrm{d}t}x\left(t\right)+\cos \left(x\left(t\right)\right)},y\left(t\right)=-\sqrt{\frac{\mathrm{d}}{\mathrm{d}t}x\left(t\right)+\cos \left(x\left(t\right)\right)}\}]\}$$