4.15.3 y(x)(12x3y(x))+x(12xy(x)3)y(x)=0

ODE
y(x)(12x3y(x))+x(12xy(x)3)y(x)=0 ODE Classification

[_rational]

Book solution method
Exact equation, integrating factor

Mathematica
cpu = 0.0305952 (sec), leaf count = 358

{{y(x)23(c1xx3)108x3(x3c1x)3+729x427x23+108x3(x3c1x)3+729x427x23323x},{y(x)(1+i3)(x3c1x)22/3108x3(x3c1x)3+729x427x23(1i3)108x3(x3c1x)3+729x427x23623x},{y(x)(1i3)(x3c1x)22/3108x3(x3c1x)3+729x427x23(1+i3)108x3(x3c1x)3+729x427x23623x}}

Maple
cpu = 0.108 (sec), leaf count = 20

{_C1+x2+1xy(x)+(y(x))2=0} Mathematica raw input

DSolve[y[x]*(1 - 2*x^3*y[x]) + x*(1 - 2*x*y[x]^3)*y'[x] == 0,y[x],x]

Mathematica raw output

{{y[x] -> (2^(1/3)*(-x^3 + x*C[1]))/(-27*x^2 + Sqrt[729*x^4 + 108*x^3*(x^3 - x*C
[1])^3])^(1/3) + (-27*x^2 + Sqrt[729*x^4 + 108*x^3*(x^3 - x*C[1])^3])^(1/3)/(3*2
^(1/3)*x)}, {y[x] -> ((1 + I*Sqrt[3])*(x^3 - x*C[1]))/(2^(2/3)*(-27*x^2 + Sqrt[7
29*x^4 + 108*x^3*(x^3 - x*C[1])^3])^(1/3)) - ((1 - I*Sqrt[3])*(-27*x^2 + Sqrt[72
9*x^4 + 108*x^3*(x^3 - x*C[1])^3])^(1/3))/(6*2^(1/3)*x)}, {y[x] -> ((1 - I*Sqrt[
3])*(x^3 - x*C[1]))/(2^(2/3)*(-27*x^2 + Sqrt[729*x^4 + 108*x^3*(x^3 - x*C[1])^3]
)^(1/3)) - ((1 + I*Sqrt[3])*(-27*x^2 + Sqrt[729*x^4 + 108*x^3*(x^3 - x*C[1])^3])
^(1/3))/(6*2^(1/3)*x)}}

Maple raw input

dsolve(x*(1-2*x*y(x)^3)*diff(y(x),x)+(1-2*x^3*y(x))*y(x) = 0, y(x),'implicit')

Maple raw output

_C1+x^2+1/x/y(x)+y(x)^2 = 0