M000424: Hutton's formula

$$\pi=8\arctan\left(\frac{1}{3}\right)+4\arctan\left(\frac{1}{7}\right)$$
NamesHutton's formula, Vega's formula
Compact formula8[3] + 4[7]
Lehmer's measure3.27919
References
*MACHIN (1706)(ΒΆΒΆ6.60113) (full reference coming soon)