True to form, although I went back to bed at 4:30, it still took me the standard 2 hours to get back to sleep – finally dozed off around 6:30, to be woken again at 7:30.
So, I was awake for 4 hours, and slept for a total of 4 hours.
I remembered the other thing that p*sses me off about all this, apart from feeling spaced out, headachey, unable to concentrate and forgetting everything.
Waking at 5 is OK, because then I can get up at a reasonable time. But waking at 2 or 3, as I have been doing lately, is the pits, because I do eventually fall back to sleep, but then I wake up late (usually around 8-8:30, though yesterday it was 9, and I was going out at 9:45), which means I get a really late start on working, which messes me about for the rest of the day.