M000413

$$\pi=12\arctan\left(\frac{1}{7}\right)+8\arctan\left(\frac{1}{8}\right)+8\arctan\left(\frac{1}{18}\right)$$