  We obtain new trigonometric identities, which are some product-to-sum type
formulas for the higher derivative of the cotangent and cosecant functions.
Further, from specializations of our formulas, we derive not only various known
reciprocity laws of generalized Dedekind sums but also new reciprocity laws of
generalized Dedekind sums.
