Assume every logarithm argument is positive and any base shown is valid. Which single logarithm is equivalent to log_2(x - 1) + log_2(x + 1) - (1/2)log_2(y)?