How do you condense ln x + ln 3?