Added simplification for bucket index equation

The problem with the "old" equation was, that you cannot implement it in
C as-is. You have to transform the equation into the form which is added
by this PR to get it compiling.

For referencing, this simplification should be added in the paper, too.
Then please use a different character, but do not add an index (which, on top, is used in the same equation).