OP here, I have actually not read TAOCP at all. It's just a derivation I sometimes use to pass a few minutes while waiting/bored and I thought I'd blog about it.