M000000456

$$\pi=\frac{20}{3}\arctan\left(\frac{1}{2}\right)+\frac{4}{3}\arctan\left(\frac{1}{23}\right)\frac{-4}{3}\arctan\left(\frac{1}{182}\right)$$

Compact formula	`20/3[2] + 4/3[23] - 4/3[182]`
Lehmer's measure	4.49875
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. Download references as BibTeΧ