How do you condense #7 ln x - 3 ln y#?