How do you condense #3 - 2log(2)#?