ODE
\[ \left (a^2+x^2+y(x)^2\right ) y'(x)+2 x y(x)=0 \] ODE Classification
[_exact, _rational, [_1st_order, `_with_symmetry_[F(x)*G(y),0]`]]
Book solution method
Exact equation
Mathematica ✓
cpu = 0.0178541 (sec), leaf count = 312
\[\left \{\left \{y(x)\to \frac {\sqrt [3]{2} \left (\sqrt {4 \left (a^2+x^2\right )^3+9 c_1^2}+3 c_1\right ){}^{2/3}-2 a^2-2 x^2}{2^{2/3} \sqrt [3]{\sqrt {4 \left (a^2+x^2\right )^3+9 c_1^2}+3 c_1}}\right \},\left \{y(x)\to \frac {\left (1+i \sqrt {3}\right ) \left (a^2+x^2\right )}{2^{2/3} \sqrt [3]{\sqrt {4 \left (a^2+x^2\right )^3+9 c_1^2}+3 c_1}}+\frac {i \left (\sqrt {3}+i\right ) \sqrt [3]{\sqrt {4 \left (a^2+x^2\right )^3+9 c_1^2}+3 c_1}}{2 \sqrt [3]{2}}\right \},\left \{y(x)\to \frac {\left (1-i \sqrt {3}\right ) \left (a^2+x^2\right )}{2^{2/3} \sqrt [3]{\sqrt {4 \left (a^2+x^2\right )^3+9 c_1^2}+3 c_1}}-\frac {i \left (\sqrt {3}-i\right ) \sqrt [3]{\sqrt {4 \left (a^2+x^2\right )^3+9 c_1^2}+3 c_1}}{2 \sqrt [3]{2}}\right \}\right \}\]
Maple ✓
cpu = 0.015 (sec), leaf count = 23
\[ \left \{ {x}^{2}y \left ( x \right ) +{a}^{2}y \left ( x \right ) +{\frac { \left ( y \left ( x \right ) \right ) ^{3}}{3}}+{\it \_C1}=0 \right \} \] Mathematica raw input
DSolve[2*x*y[x] + (a^2 + x^2 + y[x]^2)*y'[x] == 0,y[x],x]
Mathematica raw output
{{y[x] -> (-2*a^2 - 2*x^2 + 2^(1/3)*(3*C[1] + Sqrt[4*(a^2 + x^2)^3 + 9*C[1]^2])^(2/3))/(2^(2/3)*(3*C[1] + Sqrt[4*(a^2 + x^2)^3 + 9*C[1]^2])^(1/3))}, {y[x] -> ((1 + I*Sqrt[3])*(a^2 + x^2))/(2^(2/3)*(3*C[1] + Sqrt[4*(a^2 + x^2)^3 + 9*C[1]^2])^(1/3)) + ((I/2)*(I + Sqrt[3])*(3*C[1] + Sqrt[4*(a^2 + x^2)^3 + 9*C[1]^2])^(1/3))/2^(1/3)}, {y[x] -> ((1 - I*Sqrt[3])*(a^2 + x^2))/(2^(2/3)*(3*C[1] + Sqrt[4*(a^2 + x^2)^3 + 9*C[1]^2])^(1/3)) - ((I/2)*(-I + Sqrt[3])*(3*C[1] + Sqrt[4*(a^2 + x^2)^3 + 9*C[1]^2])^(1/3))/2^(1/3)}}
Maple raw input
dsolve((a^2+x^2+y(x)^2)*diff(y(x),x)+2*x*y(x) = 0, y(x),'implicit')
Maple raw output
x^2*y(x)+a^2*y(x)+1/3*y(x)^3+_C1 = 0