The quadratic path integral is
Introduce the positive spatial operator
Completing the square in the Gaussian functional integral over yields
The derivative expansion therefore gives
This is the long-wavelength Goldstone boson action. Keeping the spatial derivative in gives .
Completing the square in the Gaussian functional integral and choosing
normalizes . The result is
where the Feynman propagator in the convention of the question is