Formulas for Dynamic Analysis