Trigonometric identity#Product-to-sum and sum-to-product identities