solve log[-x,1]=0 over the reals