WolframAlpha computational knowledge AI
sqrt(2^(log(1250/1000) / log(2))) / (2^(log(1250/1000) / log(2))- 1)