The Free On-line Dictionary of Computing (30 December 2018):

redex

   Reducible Expression.  An expression matching the left hand
   side of a reduction rule or definition.