log2(1 - (1 - 2^48 / 2^128) ^ (2^64))