simplified rep clause of regex-derivativeo