Aaron and I discussed this some time ago: it might be a little more literate if written as `and x not in a.exp.free_symbols`.