What does bin in y:(bin,... do?

y is a reducer that computes the height of a given bin spanning x1—x2; since each bin represents the same count of values, we want all of them to have the same area. The absolute value of y is not really relevant (it's a relative density).