domain of (log[0.5,(x-1)])^(1/2)