maximize -x*log2(sqrt(x)/2 + x/2) - (1-x)*log2(sqrt(1-x)/2 + x /2) for x=0 to 1