Update list_of_formulas