Solve for x x^2-2=0