10^25 * (1 - (1/2)^[2/(1.8*10^22)] )