M000000531

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

Compact formula	`12[3] - 8[23] - 8[30] - 4[38]`
Lehmer's measure	4.14025