From what I have read, it appears that the most efficient methods of calculating $ \pi $ are Machin-like formulae. And it is known that certain formulas are more efficient than others.
Are there any theoretical properties (rates of convergence, etc) of these formulas that make them more efficient than others?
Like, why is $ \frac{\pi}{4} = 183\arctan\frac{1}{239} + 32\arctan\frac{1}{1023} - 68\arctan\frac{1}{5832} + 12\arctan\frac{1}{110443} - 12\arctan\frac{1}{4841182} - 100\arctan\frac{1}{6826318} $ more efficient than $ \frac{\pi}{4} = \arctan\frac{1}{2} + \arctan\frac{1}{3} $ (as claimed by Wikipedia)
Or is this a purely empirical result?
I presume that the calculation of arctan is done using the Maclaurin series.