OneLoopSimplify[amp, q] simplifies the one-loop amplitude amp. The second argument denotes the integration momentum.
See also: OneLoop, TID, TIDL.