solve sqrt(x-2*sqrt(x-1))=sqrt(x-1)-1 over the reals