Can you refactor it like this:
GossipDifferentViewProbability * stragglerCount / max(upToDateNodes - smallClusterBias, 1)
where stragglerCount = seenDiff and upToDateNodes = seenSize
I feel a bit more comfortable with this form. (Sorry for changing my mind all the time ;) )