Like this? `and not x in a.exp.free_symbols`
Why?