\\sqrtx+3 = 1 + \sqrt2-x\