M000000447

$$\pi=\frac{48}{7}\arctan\left(\frac{1}{2}\right)\frac{-16}{7}\arctan\left(\frac{1}{57}\right)+\frac{4}{7}\arctan\left(\frac{1}{239}\right)$$
Compact formula48/7[2] - 16/7[57] + 4/7[239]
Lehmer's measure4.31189
References
Størmer, Carl. Solution complète en nombres entiers m, n, x, y et k de l'équation marctang(1/x) + narctang(1/y) = kπ/4, chapter 11 in Skrifter udgivne af Vidensakbsselskabet i Christiania I. Mathematisk-naturvidenskabelig klasse, 11.1–11.21, 1896.