The horizontal contribution is . The two nondegenerate stationary points of the phase are and , with second derivatives and . The stationary phase method gives their contributions
with remainder for smooth fixed amplitudes localized near the stationary points. On the remaining portions, use integration by parts. The endpoint term is
Cutoff endpoints cancel between pieces; a second integration gives the other nonstationary contributions . Thus this endpoint term cancels the leading vertical term. Altogether
This stationary phase endpoint cancellation in a half-strip contour is necessary: omitting it would leave an erroneous remainder for noninteger .