Create Formulas_and_Identities_from_Trigonometry.py