Updates for increased formula use from the paper in gupta_paper_further_formulas.py