Exprese la función formula_10 en la forma formula_11.