symsol_reduced