Exact time evolution formulae in the XXZ spin chain with domain wall initial state