M000415

$$\pi=8\arctan\left(\frac{1}{5}\right)+12\arctan\left(\frac{1}{8}\right)+4\arctan\left(\frac{1}{57}\right)$$