Partimos del diferencial total de la función formula_3: