How Many Algebra Formulas Are There