How Many Math Formulas Are There