How do you condense lnx+ln3?