How do you condense #log 40 - log 4 #?