Supongamos que "formula_2", "formula_3", "formula_4" y "formula_5" son números racionales.