The set of terms involving these constants with degree five (see
section 7) are as follows: . When is
augmented with this set of terms, all computed to 135 decimal digits
accuracy, and the resulting 9-long vector is input to the PSLQ
algorithm, it detects the relation , at iteration 390. Solving this relation for
, we obtain the formula
(recall that ).