sum-to-product formulas and product-to-sum