Find the word definition

Wiktionary
beta reduced

vb. (en-pastbeta reduce)