FiniteTFormMomentumExpansion[p₁,p₂,...]

Create a Form rule to try and simplify all scalar products involving p₁, p₂, ... This method also expands scalar products into spatial and temporal parts.