Simplify(x^2+2x+3, x=\sqrt(2)*t-1)