Internal problem ID [8397]
Book: Differential Gleichungen, E. Kamke, 3rd ed. Chelsea Pub. NY, 1948
Section: Chapter 1, Additional non-linear first order
Problem number: 817.
ODE order: 1.
ODE degree: 1.
CAS Maple gives this as type [y=_G(x,y')]
Solve \begin {gather*} \boxed {y^{\prime }-\frac {-2 \cos \relax (y)+x^{3} \cos \left (2 y\right ) \ln \relax (x )+\ln \relax (x ) x^{3}}{2 \sin \relax (y) \ln \relax (x ) x}=0} \end {gather*}
✓ Solution by Maple
Time used: 0.188 (sec). Leaf size: 27
dsolve(diff(y(x),x) = 1/2*(-2*cos(y(x))+x^3*cos(2*y(x))*ln(x)+x^3*ln(x))/sin(y(x))/ln(x)/x,y(x), singsol=all)
\[ y \relax (x ) = \arccos \left (\frac {9 \ln \relax (x )}{3 x^{3} \ln \relax (x )-x^{3}+9 c_{1}}\right ) \]
✓ Solution by Mathematica
Time used: 1.479 (sec). Leaf size: 73
DSolve[y'[x] == (Csc[y[x]]*(-Cos[y[x]] + (x^3*Log[x])/2 + (x^3*Cos[2*y[x]]*Log[x])/2))/(x*Log[x]),y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to -\text {ArcCos}\left (-\frac {9 \log (x)}{x^3-3 x^3 \log (x)+9 c_1}\right ) \\ y(x)\to \text {ArcCos}\left (-\frac {9 \log (x)}{x^3-3 x^3 \log (x)+9 c_1}\right ) \\ y(x)\to -\frac {\pi }{2} \\ y(x)\to \frac {\pi }{2} \\ \end{align*}