Well, ...
several (different!) scenarios:
I assume that U is a (fixed) UTM, you give it a string s = (TM,input),
U(s) = TM(input) = either a finite output "f" or else DIS, the TM does not halt. Additional difficulty: "DIS" vs. "f requires enormous time" can not be resolved by just looking while waiting (in many cases).
Your question then might be:
How often do we have |s| < |f| (expansion), how often is |s| >= |f| in the non-DIS cases.
1A. "Often" as a counter is void:
Both cases appear (countably) infinitely often,namely:
Large s, short f: just stop the (short) TM, regardless of the (arbitrarily large) input, put f = empty word;
Short s, large f: TM consists of $(i)$ copy input to output to make for infinitely many cases, then $(ii)$ run BusyBeaver(7), producing a lot more output, in general run BB(7+log(log(|s|))).
1B. "Often" as a measure is more useful:
Count each case with measure $2^{-|s|}$ ($s$ should be self-delimiting), throw away those DIS cases.
Compare $\mu(\le) = \sum_{U(s)\ stops, |f| \le|s|} 2^{-s}$ with
$\mu(>) = \sum_{U(s)\ stops, |f| > |s|} 2^{-s}$.
My feeling is that a considerable fraction of machines just produces nothing or a short output, for any, even quite large, input, so probably $\mu(\le) > \mu(<)$ (no proof yet).
This might actually be decidable in finite time: If the difference between the two measures is larger than the measure of the unchecked cases, we are done.
2A/B. You include DIS in one of the cases (since nothing definite happens, the output is neither larger nor shorter than the input, a very large current tape contents might be blanked out later).
I guess that the side with DIS wins. Again, this might be (even easier) decidable by knowledge of finitely many cases.
- You separate output and working tape and count DIS cases according to the actual output (which will not be allowed to shrink ... but still might grow). Very unclear situation for the $\mu(\le)$ part, while a DIS with current output longer than $|s|$ certainly goes into $\mu(>)$.
Summarizing:
Interesting question,
potential of completely answering it with finite effort (unlike, e.g. the halting probability $\Omega$ in all its precision);
I do not know this answer.