4.18.8 a+xy(x)2y(x)y(x)=0

ODE
a+xy(x)2y(x)y(x)=0 ODE Classification

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

Book solution method
Clairaut’s equation and related types, main form

Mathematica
cpu = 0.370407 (sec), leaf count = 183

{{y(x)8a2a(sinh(2c1)+cosh(2c1))((4a+x1)sinh(c12)+(4ax1)cosh(c12))2+2asinh(c1)+2acosh(c1)2ax4a+sinh(c1)+cosh(c1)},{y(x)8a2+a(sinh(2c1)+cosh(2c1))((4a+x1)sinh(c12)+(4ax1)cosh(c12))2+2asinh(c1)+2acosh(c1)2ax4a+sinh(c1)+cosh(c1)}}

Maple
cpu = 0.022 (sec), leaf count = 26

{(y(x))24ax=0,y(x)=x_C12+a_C1} Mathematica raw input

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

Mathematica raw output

{{y[x] -> -((-8*a^2 - 2*a*x + 2*a*Cosh[C[1]] + 2*a*Sinh[C[1]] - Sqrt[a*((-1 + 4*
a - x)*Cosh[C[1]/2] + (-1 - 4*a + x)*Sinh[C[1]/2])^2*(Cosh[2*C[1]] + Sinh[2*C[1]
])])/(-4*a + Cosh[C[1]] + Sinh[C[1]]))}, {y[x] -> -((-8*a^2 - 2*a*x + 2*a*Cosh[C
[1]] + 2*a*Sinh[C[1]] + Sqrt[a*((-1 + 4*a - x)*Cosh[C[1]/2] + (-1 - 4*a + x)*Sin
h[C[1]/2])^2*(Cosh[2*C[1]] + Sinh[2*C[1]])])/(-4*a + Cosh[C[1]] + Sinh[C[1]]))}}

Maple raw input

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

Maple raw output

y(x)^2-4*a*x = 0, y(x) = (_C1^2*x+a)/_C1