Apply sum‑to‑product formulas (#478)

Apply sum‑to‑product formulas (#478)

Convert sums like sin⁡A+sin⁡B\sin A + \sin B into products.