Automatic evaluation of UV and R2 terms for beyond the Standard Model Lagrangians: A proof-of-principle

Running time: The running time ranges from a few minutes for models like the SM to a few hours for more complicated models like the MSSM.