Wiktionary
beta reduces
vb. (en-third-person singularbeta reduce)
vb. (en-third-person singularbeta reduce)