How do you condense 7lnx-2lny ?