machin formulas