((2^50-2^64*(1-e^(0-2^50/2^64)))-2^64*(1-e^(0-(2^50-2^64*(1-e^(0-2^50/2^64)))/2^64)))