ODE
\[ y'(x)+\tan (x) \cot (y(x))=0 \] ODE Classification
[_separable]
Book solution method
Separable ODE, Neither variable missing
Mathematica ✓
cpu = 0.314192 (sec), leaf count = 29
\[\left \{\left \{y(x)\to -\cos ^{-1}\left (\frac {1}{2} c_1 \sec (x)\right )\right \},\left \{y(x)\to \cos ^{-1}\left (\frac {1}{2} c_1 \sec (x)\right )\right \}\right \}\]
Maple ✓
cpu = 0.062 (sec), leaf count = 11
\[\left [y \left (x \right ) = \arccos \left (\frac {\textit {\_C1}}{\cos \left (x \right )}\right )\right ]\] Mathematica raw input
DSolve[Cot[y[x]]*Tan[x] + y'[x] == 0,y[x],x]
Mathematica raw output
{{y[x] -> -ArcCos[(C[1]*Sec[x])/2]}, {y[x] -> ArcCos[(C[1]*Sec[x])/2]}}
Maple raw input
dsolve(diff(y(x),x)+tan(x)*cot(y(x)) = 0, y(x))
Maple raw output
[y(x) = arccos(_C1/cos(x))]