WolframAlpha computational knowledge AI
y'' - y cosx = x