WolframAlpha computational knowledge AI
solve y' = y^2 x