M000457: Hermann's formula

$$\pi=8\arctan\left(\frac{1}{2}\right)-4\arctan\left(\frac{1}{7}\right)$$
NameHermann's formula
Compact formula8[2] - 4[7]
Lehmer's measure4.50522
References
HERMANN (1706)(ΒΆΒΆ6.60113) (full reference coming soon)