bore bit vs rock drill

bore bit

rock drill

noun

  • A powerful drill that can cut through stone. 

How often have the words bore bit and rock drill occurred in a corpus of books? (source: Google Ngram Viewer )