[[_homogeneous, `class G`], _rational]
Book solution method
No Missing Variables ODE, Solve for
Mathematica ✓
cpu = 1.39819 (sec), leaf count = 2799
Maple ✓
cpu = 0.068 (sec), leaf count = 161
DSolve[-y[x] + x*y'[x] + x^3*y'[x]^2 == 0,y[x],x]
Mathematica raw output
{{y[x] -> -(-36 + Sqrt[3]*x*Sqrt[-((x^3*C[1]^2 - 48*x*C[1]^4 - (x^6*C[1]^4)/(-(x
^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^1
4*(x^2 - 108*C[1]^2)^3)])^(1/3) - (864*x^4*C[1]^6)/(-(x^9*C[1]^6) + 2160*x^7*C[1
]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])
^(1/3) - (-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[
-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3))/(x^3*C[1]^4))] + Sqrt[3]*x*Sqrt[96
/x^2 - 2/C[1]^2 - (x*(x^2 + 864*C[1]^2))/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 9331
2*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (
-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1
]^14*(x^2 - 108*C[1]^2)^3)])^(1/3)/(x^3*C[1]^4) + (96*Sqrt[3]*(x^2 + 4*C[1]^2))/
(x^3*C[1]^2*Sqrt[-((x^3*C[1]^2 - 48*x*C[1]^4 - (x^6*C[1]^4)/(-(x^9*C[1]^6) + 216
0*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1
]^2)^3)])^(1/3) - (864*x^4*C[1]^6)/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*
C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (-(x^9*
C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(
x^2 - 108*C[1]^2)^3)])^(1/3))/(x^3*C[1]^4))])])/(24*x)}, {y[x] -> (36 - Sqrt[3]*
x*Sqrt[-((x^3*C[1]^2 - 48*x*C[1]^4 - (x^6*C[1]^4)/(-(x^9*C[1]^6) + 2160*x^7*C[1]
^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^
(1/3) - (864*x^4*C[1]^6)/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 +
48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (-(x^9*C[1]^6) +
2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*
C[1]^2)^3)])^(1/3))/(x^3*C[1]^4))] + Sqrt[3]*x*Sqrt[96/x^2 - 2/C[1]^2 - (x*(x^2
+ 864*C[1]^2))/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]
*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (-(x^9*C[1]^6) + 2160*x^7*C
[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)
])^(1/3)/(x^3*C[1]^4) + (96*Sqrt[3]*(x^2 + 4*C[1]^2))/(x^3*C[1]^2*Sqrt[-((x^3*C[
1]^2 - 48*x*C[1]^4 - (x^6*C[1]^4)/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C
[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (864*x^4
*C[1]^6)/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[
-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (-(x^9*C[1]^6) + 2160*x^7*C[1]^8
+ 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/
3))/(x^3*C[1]^4))])])/(24*x)}, {y[x] -> (36 + Sqrt[3]*x*Sqrt[-((x^3*C[1]^2 - 48*
x*C[1]^4 - (x^6*C[1]^4)/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 4
8*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (864*x^4*C[1]^6)/(
-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1
]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^
5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3))/(x^3*C
[1]^4))] - Sqrt[3]*x*Sqrt[96/x^2 - 2/C[1]^2 - (x*(x^2 + 864*C[1]^2))/(-(x^9*C[1]
^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2
- 108*C[1]^2)^3)])^(1/3) - (-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10
+ 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3)/(x^3*C[1]^4) - (9
6*Sqrt[3]*(x^2 + 4*C[1]^2))/(x^3*C[1]^2*Sqrt[-((x^3*C[1]^2 - 48*x*C[1]^4 - (x^6*
C[1]^4)/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-
(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (864*x^4*C[1]^6)/(-(x^9*C[1]^6) +
2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*
C[1]^2)^3)])^(1/3) - (-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*S
qrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3))/(x^3*C[1]^4))])])/(24*
x)}, {y[x] -> (36 + Sqrt[3]*x*Sqrt[-((x^3*C[1]^2 - 48*x*C[1]^4 - (x^6*C[1]^4)/(-
(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]
^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (864*x^4*C[1]^6)/(-(x^9*C[1]^6) + 2160*x^7*C
[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)
])^(1/3) - (-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqr
t[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3))/(x^3*C[1]^4))] + Sqrt[3]*x*Sqrt[
96/x^2 - 2/C[1]^2 - (x*(x^2 + 864*C[1]^2))/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93
312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) -
(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C
[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3)/(x^3*C[1]^4) - (96*Sqrt[3]*(x^2 + 4*C[1]^2)
)/(x^3*C[1]^2*Sqrt[-((x^3*C[1]^2 - 48*x*C[1]^4 - (x^6*C[1]^4)/(-(x^9*C[1]^6) + 2
160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C
[1]^2)^3)])^(1/3) - (864*x^4*C[1]^6)/(-(x^9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^
5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14*(x^2 - 108*C[1]^2)^3)])^(1/3) - (-(x^
9*C[1]^6) + 2160*x^7*C[1]^8 + 93312*x^5*C[1]^10 + 48*Sqrt[3]*Sqrt[-(x^10*C[1]^14
*(x^2 - 108*C[1]^2)^3)])^(1/3))/(x^3*C[1]^4))])])/(24*x)}}
Maple raw input
dsolve(x^3*diff(y(x),x)^2+x*diff(y(x),x)-y(x) = 0, y(x),'implicit')
Maple raw output
ln(x)-_C1-3/4*ln(x*y(x)-2)-1/4*ln(x*y(x))-1/4*ln(-1+(1+4*x*y(x))^(1/2))+3/4*ln((
1+4*x*y(x))^(1/2)-3)-3/4*ln((1+4*x*y(x))^(1/2)+3)+1/4*ln(1+(1+4*x*y(x))^(1/2)) =
0, ln(x)-_C1+1/4*ln(-1+(1+4*x*y(x))^(1/2))-3/4*ln((1+4*x*y(x))^(1/2)-3)+3/4*ln(
(1+4*x*y(x))^(1/2)+3)-1/4*ln(1+(1+4*x*y(x))^(1/2))-3/4*ln(x*y(x)-2)-1/4*ln(x*y(x
)) = 0