RE#: high performance derivative-based regex matching with intersection, complem