How do you condense ln5-lnx+ln3?