The most common reducing functions +
×
⌈
⌊
are all commutative and associative. For these functions we can perform a reduction in two steps:
Although it may not be obvious at first, this decomposition is a kind of reduction reordering like those shown in the last slide.