Derive multiple‑angle trigonometric identities (#659)