  We simplify the one-loop functional matching formalism to develop a
streamlined prescription. The functional approach is conceptually appealing:
all calculations are performed within the UV theory at the matching scale, and
no prior determination of an Effective Field Theory (EFT) operator basis is
required. Our prescription accommodates any relativistic UV theory that
contains generic interactions (including derivative couplings) among scalar,
fermion, and vector fields. As an example application, we match the singlet
scalar extended Standard Model (SM) onto SMEFT.
