WolframAlpha computational knowledge AI
y'-2xy=x