\log_{1/2}(x-1)=\sqrt{x+2\sqrt{x-1}}+\sqrt{x-2\sqrt{x-1}}