redex

Etymology
From "reducible expression".

Noun

 * 1)  Something to be reduced according to the rules of a formal system.