3 ms·

You could possibly try "grep -E" or "grep -e ... -e"? In this case you could drop 'cat' and make one pipe less.