Walkers step N, S, E or W at random. The first formula is what I wrote down from memory before checking; the second is the version I repaired it to. Run it at 10 steps and at 20000 and see which one fails where.