Off-topic-ish - Maybe SymPy should have a general `equals` operation that tries to mean mathematical equality.  Seems like a good use case for multiple dispatch.