Som grunnlag for sine beregninger gjorde Shanks bruk av John Machins allerede i 1706 formel til bestemmelsen av de første 100 desimalene: .