Added simplification for bucket index equation

This patch adds a simplification for the bucket index calculation,
taking the equation for the number of buckets of the hashtable into
account. It adds a label to the latter for referencing purposes.