[umanwizard]

This isn’t basic loop unrolling; it’s replacing an entire loop with a closed form mathematical formula.

[huhtenberg]

It's a form of loop unrolling. Regardless of the term, this is still very much in the ballpark of what you'd expect when asking for optimization.