Cauchy_formula_for_repeated_integration loading ...