How do you evaluate log_(1/2) 32log1232?