| Names | Hutton's formula, Vega's formula |
| Compact formula | 8[3] + 4[7] |
| Lehmer's measure | 3.27919 |
| Notes | This formula was used by Georg von Vega in 1789 to compute 126 decimal places of π. |
| References | Machin, John. Unpublished paper submitted to the Royal Society, 1706. |