Automatic simplification of long symbolic terms: only significant symbolic terms are extracted