How do you simplify log_2(2^x)?