I'm also very interested in this part. Especially because I know clang will optimize the triangular and pyramidal numbers into constant time computations. (The

I'm also very interested in this part. Especially because I know clang will optimize the triangular and pyramidal numbers into constant time computations. (The sum of the first N integers and first N squares respectively) I really wonder what they use for this and how much it generalizes.