The panel headed Derivation on the right of the sine and cosine tabs is a running log of the proof. Before the first step it asks you to press Play; after that, every step taken appears as a numbered entry with its rule in bold and a one- or two-sentence explanation below.
The newest step is outlined in indigo and the panel scrolls to keep it in view. Earlier steps stay listed, so the whole argument can be read top to bottom at any point.
Every entry is clickable. Clicking an earlier step jumps the tool back to it — the figure, the metric cards and the step counter all follow — and stops Play. That makes the panel the fastest way to compare two moments of the proof.
Each explanation ends with two links into this page: one to the section that treats that step in full, with its frozen figure, and one to the section on the identity as a whole.