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