This would be faster using Estrin’s scheme [0]. This is just the kind of optimization that Mojo should be able to do.

[0] https://en.m.wikipedia.org/wiki/Estrin%27s_scheme