Aaaah ! Ordinary pitch/time fun, unlike OT timestretching. Yippee. Fwiw, an octave up would be 50 shorter, that example ought to be ~25 % shorter.