weird aliasing between variables in simplify