log_2(1 - (1- (2^50)^2 / {2^255}) ^ (2^64))