GIF is an old format with lossless compression limited to 256 colors per frame. Compressing a GIF removes unnecessary metadata and comments and optimizes the animation frames, which can cut the size without changing the visual quality or the animation. For bigger savings, consider converting the GIF to animated WebP.