Solve for x x^2-3=0