(log_2 x + 2 log_2 (1-x))/2