cases for x^y, y>0, with at least 44 identical bits after the round bit

Source diff could not be displayed: it is too large. Options to address this: view the blob.