How do you simplify ln32ln(8+7)?