How Many Trigonometric Formulas Are There