subsFreeSyms on invariants as well