Pensieve header: Bizarre exponential-time behaviour in pattern matching.

h/: S1_h+S2_h := h[0];

Table[Echo@Timing[k+Sum[h[0], {i,k}]],{k,20}]