WolframAlpha computational knowledge AI
x^4+4x-1