beta reducing

== English == === Verb === beta reducing present participle and gerund of beta reduce