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