The math is very easy. The units all line up perfectly. How much power is going into the battery?
40 amps * 240 volts = 9,600 volt amps = 9,600 Watts = 9.6 kW (call it 10 kW)
How long to deliver a full charge at that rate?
85 kWh / 10 kW = 8.5 h (h stands for hours)
So, call it 9 hours for a full 0% to 100% charge. For your specific question:
85 kWh / 10 kW * 45% = 3.8 hours
For your specific question, call it 4 hours. Granted, there's actual line voltages, charger inefficiencies, charging tapers, battery/ambient temperatures and many other things that can change the actual time, but this lets will let you quickly GUESSTIMATE the charge time on a specific outlet.