of spatially_filter_image_separable() that does downsampling at the same time
as it does the filtering.