Vega había mejorado la fórmula de John Machin de 1706: