-2/log(2)*(x*log(x)+(1/2-x)*log(1/2-x))-2*x, x from 0 to 1/2