How do you condense #lnx+ln3#?