1

GIF is a terrible format when it comes to compression, so I'm afraid to say that you're already close to the limits. If there is much going on in your GIF, 9 MB is not much for a 744x376 GIF that runs 14 seconds with 10 FPS. There are a bunch of good recorders suggested here, here and here. EDIT: If these don't help, there is an alternate more complicated ...


Only top voted, non community-wiki answers of a minimum length are eligible