Apply sum‑to‑product formulas (#478)