The file 'formula.txt' shows the two-term Machin-like formula for pi in latex format. The file 'u2.txt' shows the rational number u2 computed by iteration in a supercomputer at k = 27 and u1 = 85445659.
Derivation of the two-term Machin-like formula for pi is provided in the paper [S. M. Abrarov & B. M. Quine, arXiv:1704.02875].