WolframAlpha computational knowledge AI
x2+2x+3 where x=√2*t−1