Вы в вопросе написали, что «не смогли нагуглить формулу». Ну вот я вам и дал ссылку на нее.
Увы, Python не знаю вообще.
В примере сначала реализуется длинная арифметика, потому что стандартные типы не дают возможности хранить числа с таким количеством знаков: функции Add, Mul, Sub, Div. Работают они по принципу «столбика», т.е. поразрядно. Я думаю, можно найти готовую реализацию на Python.
Потом вводится функция arccot, которая считает аркотангенс с заданной точностью по формуле Тейлора.
В основной программе считается формула Гаусса: arccot вызывается 3 раза, результаты умножаются и складываются по формуле, ответ выводится.
P.S. забыл написать, что нужно бесплатное решение. Учреждение бюджетное: до сих пор сидим на Pentim 3, а на вебинары деньги не выделят никогда в жизни :)
Тогда надо еще ставить отдельную машину, на которой будут крутиться nginx и mysql_proxy, и в плане надежности мы только проиграем варианту с одним сервером.