Gym fails to simplify b+aa*b

[josephcsible]

I expect the regex gym to simplify b+aa*b to a*b, but in fact it has no simplifications available for it.

[izuzak]

Thanks for opening this, @josephcsible 🙇 That's a great example! I don't believe we have a simplification rule to cover that case. If you'd like, please feel free to submit a pull request to cover that case 👍