I have a Sum
expression:
s := Sum[2x,{x,0,3}]
As an exercise to explore the rewriting capabilities of the Wolfram Language, I would like to collect the result, and the different terms of the summation without changing the definition of the expression. Something like that:
{12,{0,2,4,6}}
The exact output format is not critical, as long as I have both the result, and the individual terms of the summation. After a fair amount of time, I end up with a solution I post as an answer below. But it seems quite convoluted to me. Would you find a simpler solution to achieve my goal?