I know charging loss for AC to DC is somewhere around 8-10%. Not sure how much loss is for DC to DC. But I think it’s small if the wire gauge is low. I charged my Y on a DC 50kW charger.
I use the same charger on my daughter’s Chevy Bolt and get about 58kWh which is correct for usable portion...