define SIMPLIFY-VECTOR