Aparentemente bastaría exigir que formula_25, su expresión en un entorno coordenado sea diferenciable.