@raph You might want to take a look over how forma currently does it: it reduces the problem to finding the ith term in the sorted union between two arithmatic progressions ax + c and bx + d, which can be solved in O(1) for some given level of accuracy.
@dtiselice Nice solution, and I did look at it, but of course had to put my own spin on it.
What I have is "Binary search to find segment and pixel" in https://github.com/linebender/vello/issues/270. It seems to work magically, but I haven't yet done the numerical robustness work. As you know, that's often just as hard as solving the happy path.