How do you condense log_2 x + log_2 5?