WolframAlpha computational knowledge AI
solve x^2-1=2x^3