add formulas.py and caracs