Equality Graph Assisted Symbolic Regression