How Many Mathematical Formulas Are There