Text this: Short Regular Expressions from Finite Automata: Empirical Results