The inverse spacetime metric decomposes as
Contracting the covariant derivative of and recognizing the fully projected contraction as its spatial covariant derivative gives