M000390

$$\pi=20\arctan\left(\frac{1}{7}\right)+8\arctan\left(\frac{1}{23}\right)-8\arctan\left(\frac{1}{182}\right)$$
Compact formula20[7] + 8[23] - 8[182]
Lehmer's measure2.36011
References
STØRMER (1896) (full reference coming soon)