Apply product‑to‑sum formulas (#477)