How do you condense ln8-lnxln8lnx?