How do you condense #ln5-lnx+ln3#?