How Many Calculus Formulas Are There