This is an ongoing competition. Whoever computes Pi to 10,001 digits the fastest shall be crowned the King of Pi and great honor shall be bestowed upon them.
Use the benchmarking tool provided:
$ python benchmark.py <command(s)>
Your program must output only the precise value of Pi starting with 3.141592653589793238462(...) and with 10,000 digits after the decimal point.
% ./benchmark.py Berndt/pi_rosetta.py
Result is correct.
Execution time: 8167.180061340332 ms
bernhardmueller@multipoarneuron King-of-Pi %