>    If there are no vars then you will supply them from free_symbols...

Ok.  I'll add sympify calls to else clause.