Symbolic_integration loading ...