Product-to-sum identities