How do you condense ln32ln(6+6)?