This assert gives me problems, the result in `t1` is different (here `D=4`).

I checked with Tracer.m in Mathematica, and it gave me the RHS.