x^2+3 = t