WolframAlpha computational knowledge AI
y`+ y*cos(x)=cos(x); y(0) = 2