I’d like to see a mathematical estimate of the number of test strings I should generate given some input regex.