-productlog(0, -log(2)/2)*2/log(2)