Reduce a reduction primitive op to a simpler expression if possible
Reduce a reduction primitive op to a simpler expression if possible
the primitive op to reduce
a simplified expression or the original primitive op
The initial value used in the reduction
The initial value used in the reduction
The reduction function of the primitive op expressed
The reduction function of the primitive op expressed