M000000633

$$\pi=-8\arctan\left(\frac{1}{2}\right)+16\arctan\left(\frac{1}{4}\right)+12\arctan\left(\frac{1}{7}\right)+16\arctan\left(\frac{1}{13}\right)$$