Machin's_formula loading ...