Wiktionary
beta reducing
vb. (present participle of beta reduce English)
vb. (present participle of beta reduce English)