Hi,
My sympy-foo is a bit rusty now, but I think you would have to implement this in core.Pow to get automatic simplification of that expression. However, there may be good reasons to avoid putting all kinds of special cases into the core module.
The terms should vanish when you apply Wick's theorem, right? Does that work as expected?
Øyvind