WolframAlpha computational knowledge AI
x''=-4x^3