#### 4.707

ODE

ODE Classification

[_rational]

Book solution method
Exact equation, integrating factor

Mathematica
cpu = 0.031638 (sec), leaf count = 672

Maple
cpu = 0.119 (sec), leaf count = 21

Mathematica raw input

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

Mathematica raw output

{{y[x] -> (-2*x^3 + x^2*C[1] + (x^4*(-2*x + C[1])^2)/(-27*x^4 - 8*x^9 + 12*x^8*C
[1] - 6*x^7*C[1]^2 + x^6*C[1]^3 + 3*Sqrt[3]*Sqrt[x^8*(27 + 16*x^5 - 24*x^4*C[1]
+ 12*x^3*C[1]^2 - 2*x^2*C[1]^3)])^(1/3) + (-27*x^4 - 8*x^9 + 12*x^8*C[1] - 6*x^7
*C[1]^2 + x^6*C[1]^3 + 3*Sqrt[3]*Sqrt[x^8*(27 + 16*x^5 - 24*x^4*C[1] + 12*x^3*C[
1]^2 - 2*x^2*C[1]^3)])^(1/3))/(6*x^2)}, {y[x] -> (2*x^2*(-2*x + C[1]) - (I*(-I +
Sqrt[3])*x^4*(-2*x + C[1])^2)/(-27*x^4 - 8*x^9 + 12*x^8*C[1] - 6*x^7*C[1]^2 + x
^6*C[1]^3 + 3*Sqrt[3]*Sqrt[x^8*(27 + 16*x^5 - 24*x^4*C[1] + 12*x^3*C[1]^2 - 2*x^
2*C[1]^3)])^(1/3) + I*(I + Sqrt[3])*(-27*x^4 - 8*x^9 + 12*x^8*C[1] - 6*x^7*C[1]^
2 + x^6*C[1]^3 + 3*Sqrt[3]*Sqrt[x^8*(27 + 16*x^5 - 24*x^4*C[1] + 12*x^3*C[1]^2 -
2*x^2*C[1]^3)])^(1/3))/(12*x^2)}, {y[x] -> (2*x^2*(-2*x + C[1]) + (I*(I + Sqrt[
3])*x^4*(-2*x + C[1])^2)/(-27*x^4 - 8*x^9 + 12*x^8*C[1] - 6*x^7*C[1]^2 + x^6*C[1
]^3 + 3*Sqrt[3]*Sqrt[x^8*(27 + 16*x^5 - 24*x^4*C[1] + 12*x^3*C[1]^2 - 2*x^2*C[1]
^3)])^(1/3) - (1 + I*Sqrt[3])*(-27*x^4 - 8*x^9 + 12*x^8*C[1] - 6*x^7*C[1]^2 + x^
6*C[1]^3 + 3*Sqrt[3]*Sqrt[x^8*(27 + 16*x^5 - 24*x^4*C[1] + 12*x^3*C[1]^2 - 2*x^2
*C[1]^3)])^(1/3))/(12*x^2)}}

Maple raw input

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

Maple raw output

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