additional vector simplify rules