desfragmentation disk used in mirror

Don't worry about it. Linux is not Windows. And you have plenty of free space.

If XFS, there is a defrag program for it.
If ZFS, you would need to zfs send the data off and recv it back.

Both are probably more effort than they're worth for 7% frag. Re-ask if it gets above ~40%