The evaluated leading order Lagrangian:
Redundant terms are discarded:
Converted by Mathematica (July 10, 2003)