Okay, first of all I need to define a representation of Dirac gamma matrices:

And finally, we have the anticommutator:

is the usual Minkowski metric in SR. (I_4 is the 4 x 4 identity matrix. This is usually suppressed.)

To add a bit of complexity (though I think it makes things more illustrative), these form a 4-vector:

Okay, to the point. We can derive certain simplifications to traces. For example:

The trace of an odd number of gamma matrices is 0.

I know the formula for . My question is this: How do I find the trace of 8 gamma matrices? The problem seems to be rather forbidding.

Thanks!

-Dan