Tag basic differentiation formulas