Working functional form of binary DPCM