Milliseconds matter: optimizing formulas with Grist’s new formula timer