Machin-like formulae
M000223
$$\pi=32\arctan\left(\frac{1}{10}\right)-4\arctan\left(\frac{1}{239}\right)-16\arctan\left(\frac{1}{515}\right)$$
Compact formula
32[10] - 4[239] - 16[515]
Lehmer's measure
1.78920
References
SIMSON (1723)
(full reference coming soon)