Look at this regex and see if our tool reduces it. It's a tiny example I was working on and found that the tool didn't reduce it. [ab]{2}|c[abd]|[abc]d The original has a lot of redundancy and I think should be reduced to [abc][abd].