Performs replacements in a Lagrangian expression while respecting Einstein summation convention, i.e. w/ proper relabeling of repeated indices to avoid collisions.
Simplify[expr] performs a sequence of algebraic and other transformations on expr and returns the simplest form it finds.
Simplify[expr,assum] does simplification using assumptions.