Интересная тема, спасибо. А можно ли как-то определить эффективность формулы? Например чем "проще" формула и чем ближе к целому, тем она более эффективная. Простоту формулы можно определить длиной текста самой короткой программы (в каком то языке) которая дает эту формулу. Например, простоту чисел я определял тут и можно сделать так же с простотой формулы:
https://oeis.org/A168650. А близость числа

к целому можно определить вот так:

. Теперь интересно найти самые эффективные формулы для какого-нибудь конкретного языка.