How do you condense (12)log(x+7)?