I think one of the reasons is the ".+z" gets bigger and uglier after you convert it to a deterministic automaton.
I think what's actually happening here is that they're doing the intersection on the DFAs and then producing a regex from the resulting DFA. The construction of a regex from a DFA is where things get ugly and weird.