x=1+\sqrt{3}