I'm trying to figure out what's energy efficient. I assumed it was to lower the temperature at night so the system doesn't have to work as hard, but then in the morning when I raise it 10°, the heater chugs for a long time to reach the daytime heat. Is it better to just leave the system on at the same degree so it just has to turn on briefly for ten minutes when it dips by about 2°?