Image Squisher makes ANY format of images smaller or converts them to a different format: JPG, HEIC, camera RAW, animated files and PDFs. You pick the quality in plain words, it analyzes what compression works best for your image, and verifies its output against your original.