4.18.25 ay(x)y(x)+b+xy(x)2=0

ODE
ay(x)y(x)+b+xy(x)2=0 ODE Classification

[[_homogeneous, `class G`], _rational, _dAlembert]

Book solution method
No Missing Variables ODE, Solve for y

Mathematica
cpu = 0.635193 (sec), leaf count = 243

{Solve[2atanh1(a2y(x)24bxay(x))2(a1)tanh1(a2y(x)24bxy(x)ay(x))+alog((12a)y(x)2+4bx)log((12a)y(x)2+4bx)+alog(4bx)2a1=c1,y(x)],Solve[2atanh1(a2y(x)24bxay(x))+2(a1)tanh1(a2y(x)24bxy(x)ay(x))+alog((12a)y(x)2+4bx)log((12a)y(x)2+4bx)+alog(4bx)2a1=c1,y(x)]}

Maple
cpu = 0.023 (sec), leaf count = 106

{[x(_T)=_T1a(1a1)1(b_T(a1)1(2a1)_T2+_C1),y(_T)=1_Ta_T(a1)1(2a1)(2(_C1_T(a1)1_T2+b)(a1/2)_T(a1)1+_T(a1)1b)]} Mathematica raw input

DSolve[b - a*y[x]*y'[x] + x*y'[x]^2 == 0,y[x],x]

Mathematica raw output

{Solve[(-2*a*ArcTanh[Sqrt[-4*b*x + a^2*y[x]^2]/(a*y[x])] - 2*(-1 + a)*ArcTanh[Sq
rt[-4*b*x + a^2*y[x]^2]/(y[x] - a*y[x])] + a*Log[4*b*x] - Log[4*b*x + (1 - 2*a)*
y[x]^2] + a*Log[4*b*x + (1 - 2*a)*y[x]^2])/(-1 + 2*a) == C[1], y[x]], Solve[(2*a
*ArcTanh[Sqrt[-4*b*x + a^2*y[x]^2]/(a*y[x])] + 2*(-1 + a)*ArcTanh[Sqrt[-4*b*x + 
a^2*y[x]^2]/(y[x] - a*y[x])] + a*Log[4*b*x] - Log[4*b*x + (1 - 2*a)*y[x]^2] + a*
Log[4*b*x + (1 - 2*a)*y[x]^2])/(-1 + 2*a) == C[1], y[x]]}

Maple raw input

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

Maple raw output

[x(_T) = _T^(1/a/(1-1/a))*(b/(_T^(1/(a-1)))/(2*a-1)/_T^2+_C1), y(_T) = (2*(_C1*_
T^(1/(a-1))*_T^2+b)*(a-1/2)*_T^(1/(a-1))+_T^(1/(a-1))*b)/_T/a/(_T^(1/(a-1)))/(2*
a-1)]