M000000543

$$\pi=12\arctan\left(\frac{1}{2}\right)-4\arctan\left(\frac{1}{4}\right)-8\arctan\left(\frac{1}{7}\right)-4\arctan\left(\frac{1}{23}\right)-4\arctan\left(\frac{1}{30}\right)$$

Compact formula	`12[2] - 4[4] - 8[7] - 4[23] - 4[30]`
Lehmer's measure	7.57754