How do you expand log_2 (16/sqrt(x-1))?