EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph