The aggressive crop option is more aggressive in dealing with noise. It doesn't mean that it will necessarily result in smaller margins around the edge of the score than the standard auto-crop, especially if your document has no noise on the edges. There is currently always a margin of 8 dip (density-independent pixels), which can translate into 20 pixels on a higher resolution device such as the Samsung Tab S4 (20 pixels in the scaled image, not in the raw PDF page size). I'm not opposed to adding an option to control this margin.
Mike
Mike