TensorSimplify simplifies tensors involving Dot, Tr and the IdentityTensor
Install the paclet using:
PacletInstall[
"TensorSimplify",
"Site" -> "http://raw.githubusercontent.com/carlwoll/TensorSimplify/master"
]
Once installed, you can load the paclet as usual:
<<TensorSimplify`