Derivative expansion of the effective action.