How do you condense #(1/2) log(x+7)#?