[_rational, [_Abel, `2nd type`, `class B`]]
Book solution method
Abel ODE, Second kind
Mathematica ✓
cpu = 1.16006 (sec), leaf count = 98
Maple ✓
cpu = 0.055 (sec), leaf count = 96
DSolve[x^7*y[x]*y'[x] == 2*(1 + x^2) + 5*x^3*y[x],y[x],x]
Mathematica raw output
Solve[C[1] == ((I/2)*(2*x^2 + Hypergeometric2F1[1/2, 5/4, 3/2, -((1 + x^3*y[x])^
2/x^2)]*(1 + x^3*y[x])*(1 + x^(-2) + 2*x*y[x] + x^4*y[x]^2)^(1/4)))/(x*(-1 - (1
+ x^3*y[x])^2/x^2)^(1/4)), y[x]]
Maple raw input
dsolve(x^7*y(x)*diff(y(x),x) = 2*x^2+2+5*x^3*y(x), y(x),'implicit')
Maple raw output
_C1+(-(1+x^3*y(x))/x*hypergeom([1/2, 5/4],[3/2],-(1+x^3*y(x))^2/x^2)*((x^6*y(x)^
2+2*x^3*y(x)+x^2+1)/x^2)^(1/4)-2*x)/((x^6*y(x)^2+2*x^3*y(x)+x^2+1)/x^2)^(1/4) =
0