Semiclassical Commutator Formula with Principal Symbol