Machins formule
Afleiding
Voor de tangens van de som van twee hoeken geldt:

Daaruit volgt:
,
mits

Toepassing levert:

en
,
zodat


Machin gebruikte de taylorreeksontwikkeling van de arctangens, die zeer recentelijk ontwikkeld was, voor zijn berekening van
.