(1 2)^x-log1 2(2x-1)