maybe put the set on the outside as `set(map(sympify, symbols))`