The dyadic stream average operation (section 4.2.1) is extremely
simple; *n* input digits are required to generate *n* output digits,
and each stage requires one dyadic digit operation. The size of the
dyadic digits will not grow substantially as each digit of the output
stream is simply the average of the two input digits. There is no
branching as the algorithm proceeds.