Exactly what I was thinking. JPEGmini works better in my tests.

We handle all the major web image formats, with a single API. That would be the major difference. We also offer more features like image resizing, WebP compression and SVG optimization. Again, with a single API.