Brouncker's_formula loading ...