Exhaustive Symbolic Regression