product-to-sum identities