[ars]

I was assuming a home that never warmed up to ambient, but just partly, and a multi-stage A/C. (But forgot to say that in my message.)

Without those assumptions your analysis is correct, and a setback thermostat seems to always be a win for A/C.