Formulas and Algorithms

By Alexander Yee

 

(Last updated: August 19, 2018)

 

Back To:

 

y-cruncher has two algorithms for each major constant that it can compute - one for computation, and one for verification. The constants are listed here in approximate order ascending difficulty to compute.

 

All complexities shown assume multiplication to be O(n log(n)). It is slightly higher than that, but for all practical purposes, O(n log(n)) is close enough.

 


Square Root of n and Golden Ratio

1st order Newton's Method - Runtime Complexity: O(n log(n))
Note that the final radix conversion from binary to decimal has a complexity of O(n log(n)2).

 

There are no secondary formulas for either sqrt(n) or the Golden Ratio. Verification can be trivially done as:

 

These square root constants are extremely fast to compute. It actually takes longer to convert the binary digits to decimal.

 


e

 

Taylor Series of exp(1): O(n log(n)2)


 

Taylor Series of exp(-1): O(n log(n)2)


 


Pi

 

Chudnovsky Formula: O(n log(n)3)


 

 

Ramanujan's Formula: O(n log(n)3)

 


ArcCoth(n) - Inverse Hyperbolic Cotangent

Straightforward Taylor Series. Nothing special here.

 

This isn't intended to be a "real" constant. It's used internally by log(n) and is exposed to the user.

 


Log(n)

 

Machin-Like Formulas: O(n log(n)3)



Starting from v0.6.1, y-cruncher is able to generate and utilize machin-like formulas for the log of any small integer.

Generation of machin-like formulas for log(n) is done using table-lookup along with a branch-and-bound search on several argument reduction formulas.

 


Zeta(3) - Apery's Constant

 

Amdeberhan-Zeilberger Formula (long): O(n log(n)3)


 

Amdeberhan-Zeilberger Formula (short): O(n log(n)3)


 


Catalan's Constant

 

Catalan has historically been one of the slowest constants to compute. But recently discovered formulas by Lima, Guillera, and Pilehroot has changed this. Thanks to these newer formulas, Catalan's Constant is now almost as fast to compute as Zeta(3). These new formulas will appear in y-cruncher v0.7.7.

 

 

Lupas Formula: O(n log(n)3)


 

Huvent's Formula: O(n log(n)3)



y-cruncher uses the following rearrangement of Huvent's formula:

 

Lima-Guillera: O(n log(n)3) - (ETA: y-cruncher v0.7.7)

 

Source: https://arxiv.org/pdf/1207.3139.pdf

 

Pilehrood (short): O(n log(n)3) - (ETA: y-cruncher v0.7.7)

 

Pilehrood (long): O(n log(n)3) - (ETA: y-cruncher v0.7.7)

 

Both Pilehrood formulas are found in: https://hal.inria.fr/hal-00990465/document

 

 


Lemniscate

 

Gauss Formula: O(n log(n)3)


Sebah's Formula: O(n log(n)3)


 

Both of these formulas were pulled from: http://numbers.computation.free.fr/Constants/PiProgram/userconstants.html

 

Note that the AGM-based algorithms are probably faster. But y-cruncher currently uses these series-based formulas because:

  1. It lacks an implementation of sqrt(N) for arbitrary N. It only supports N being a small integer.
  2. There already is a series summation framework that can be easily applied to the ArcSinlemn() function.

 

 


Euler-Mascheroni Constant

 

Brent-McMillan (alone): O(n log(n)3)



                

 

Brent-McMillan with Refinement: O(n log(n)3)



                        

 

Note that both of these formulas are the same with the only difference being the refinement term. Therefore, in order for two computations to be independent enough to qualify as a verified record, they must be done using different n regardless of whether the refinement term is used.

 

Of all the things that y-cruncher supports, the Euler-Mascheroni Constant is the slowest to compute and by far the most difficult to implement. So it suitably finds itself at the bottom of this list. A short list of things that make it difficult:

y-cruncher only uses n that are powers of two. This simplifies the implementation in many ways as well as lending itself to a multitude of shift optimizations.

 

The Euler-Mascheroni Constant has a special place in y-cruncher. It is one of the first constants to be supported (even before Pi) and it is among the first for which a world record was set using y-cruncher. As such, y-cruncher derives its name from the gamma symbol for the Euler-Mascheroni Constant.

 


Series Summation:

 

Most of the formulas above involve an infinite series of some sort. These are done using standard Binary Splitting techniques with the following catches:

This series summation scheme (including the skewed splitting and backwards summing) has been the same in all versions of y-cruncher to date. All of this is expected to change when GCD factorization is to be incorporated.