Statistics for Math Information Retrieval using a Text Search Engine