AGR It's relatively easy if you want to export only just enough to avoid clipping, but a bit harder if you want to maximise export, and charge the battery only enough to avoid clipping.
For the former, as mentioned, plenty of space in the battery, and perhaps reducing the charging rate to ensure the battery doesn't fill about before peak solar. The system has a 'timed pause' control - I used to have charging paused between 9am and 12am to ensure there'd be space in the battery starting at noon. (My array is SW facing, so peak solar is in the afternoon.)
The timed pause is only available via the remote control part of the portal (or the API). The charging power is available on the app.
For the latter, I'm now using a script running on a rpi to dynamically adjust the charging power so that only just enough is sent to the battery to keep the AC close to maximum.
See also https://community.givenergy.cloud/d/3960-does-grid-first-work-on-latest-gen-3-hybrid-firmware
https://community.givenergy.cloud/d/4331-at-what-kwh-should-i-expect-to-see-clipping
You may get more than the notional 5.16kW solar at the moment: that's at a specific temperature (perhaps 25 degrees ?), and you get slightly more if it's cooler.