- * indexed(x, indexed::antisymmetric, idx(2*y+1, x), varidx(-mu, 5))
- - 2 * spinor_metric(spinidx(x), spinidx(y))
- + 0.775;
+ * indexed(x, sy_anti(), idx(2*y+1, x), varidx(-mu, 5))
+ - 2.4275 * spinor_metric(spinidx(0, 2, false, true), spinidx(y))
+ + abs(x).series(x == y, 4);