Symbolic-numeric_computation loading ...