ODE
\[ -y(x) (a-x \cot (x))+x^2 y''(x)+x (2 x \cot (x)+1) y'(x)=0 \] ODE Classification
[[_2nd_order, _with_linear_symmetries]]
Book solution method
TO DO
Mathematica ✓
cpu = 0.286142 (sec), leaf count = 29
\[\left \{\left \{y(x)\to \csc (x) \left (c_1 J_{\sqrt {a}}(x)+c_2 Y_{\sqrt {a}}(x)\right )\right \}\right \}\]
Maple ✓
cpu = 0.09 (sec), leaf count = 27
\[\left [y \left (x \right ) = \frac {\textit {\_C1} \BesselJ \left (\sqrt {a}, x\right )}{\sin \left (x \right )}+\frac {\textit {\_C2} \BesselY \left (\sqrt {a}, x\right )}{\sin \left (x \right )}\right ]\] Mathematica raw input
DSolve[-((a - x*Cot[x])*y[x]) + x*(1 + 2*x*Cot[x])*y'[x] + x^2*y''[x] == 0,y[x],x]
Mathematica raw output
{{y[x] -> (BesselJ[Sqrt[a], x]*C[1] + BesselY[Sqrt[a], x]*C[2])*Csc[x]}}
Maple raw input
dsolve(x^2*diff(diff(y(x),x),x)+(1+2*x*cot(x))*x*diff(y(x),x)-(a-x*cot(x))*y(x) = 0, y(x))
Maple raw output
[y(x) = _C1/sin(x)*BesselJ(a^(1/2),x)+_C2/sin(x)*BesselY(a^(1/2),x)]