=== recompiled-sequence exactness vs ps2float (structured 176x176 + 2M random each)
op (as emitted)        diffs / cases
VU/EE ADD  (clamp+ss)     115629 / 2030976 (5.6933%)   first: a=00000000 b=7f800000 hard=7f7fffff model=7f800000
VU/EE SUB  (clamp+ss)     116155 / 2030976 (5.7192%)   first: a=00000000 b=7f800000 hard=ff7fffff model=ff800000
VU/EE MUL  (clamp+ss)    1020920 / 2030976 (50.2675%)   first: a=00800000 b=3f800002 hard=00800002 model=00800001
VU/EE DIV  (clamp+ss)     538785 / 2030976 (26.5284%)   first: a=00000000 b=00000000 hard=7f7fffff model=7fffffff
VU SQRT    (abs+ss)       537680 / 2030976 (26.4740%)   first: a=01000002 b=00000000 hard=203504f5 model=203504f4
VU RSQRT   (div+ss)       736108 / 2030976 (36.2441%)   first: a=00000000 b=00000000 hard=7f7fffff model=7fffffff
MADD acc=0 (2x ss)       1020175 / 2030976 (50.2308%)   first: a=00800000 b=3f800002 hard=00800002 model=00800001
--- exact-by-construction tiers (integer ordering; EE-proven):
MAX (int ordering)             0 / 2030976 (0.0000%)
MIN (int ordering)             0 / 2030976 (0.0000%)
--- default tier as emitted (VuAccurateAddSub on):
ACC ADD (mask+RN ss)      113520 / 2030976 (5.5894%)   first: a=00000000 b=7f800000 hard=7f7fffff model=7f800000
ACC SUB (mask+RN ss)      113801 / 2030976 (5.6033%)   first: a=00000000 b=7f800000 hard=ff7fffff model=ff800000
ACC ADD (mask+CHOP)        21330 / 2030976 (1.0502%)   first: a=00000000 b=7f800000 hard=7f7fffff model=7f800000
ACC SUB (mask+CHOP)        21131 / 2030976 (1.0404%)   first: a=00000000 b=7f800000 hard=ff7fffff model=ff800000
--- candidates: double pipeline with PS2 truncation (the EE DOUBLE construction):
cand ADD (double)              0 / 2030976 (0.0000%)
cand SUB (double)              0 / 2030976 (0.0000%)
emit ADD (bit-built)           0 / 2030976 (0.0000%)
emit SUB (bit-built)           0 / 2030976 (0.0000%)
composite ADD (fast)           0 / 2030976 (0.0000%)
composite SUB (fast)           0 / 2030976 (0.0000%)
velt ADD (no mask)        528491 / 2030976 (26.0215%)   first: a=00000000 b=017fffff hard=017ffffe model=017fffff
velt SUB (no mask)        527699 / 2030976 (25.9825%)   first: a=00000000 b=017fffff hard=817ffffe model=817fffff
velt+detector ADD         496596 / 2030976 (24.4511%)   first: a=00000000 b=017fffff hard=017ffffe model=017fffff
velt+detector SUB         497996 / 2030976 (24.5200%)   first: a=00000000 b=017fffff hard=817ffffe model=817fffff
repair0 ADD (re-add)      291409 / 2030976 (14.3482%)   first: a=00000000 b=7f800000 hard=7f7fffff model=7f800000
repair0 SUB (re-add)      291433 / 2030976 (14.3494%)   first: a=00000000 b=7f800000 hard=ff7fffff model=ff800000
repair1 ADD (1-ulp)      1350223 / 2030976 (66.4815%)   first: a=00000000 b=7f800000 hard=7f7fffff model=7f800000
repair1 SUB (1-ulp)      1350114 / 2030976 (66.4761%)   first: a=00000000 b=7f800000 hard=ff7fffff model=ff800000
ADD plain (clamp+CHOP)    291108 / 2030976 (14.3334%)   first: a=00000000 b=7f800000 hard=7f7fffff model=7f800000
    add miss split: range-detectable=22469  mask-class=268639
MUL (clamp+CHOP)          277111 / 2030976 (13.6442%)   first: a=00800000 b=3f800002 hard=00800002 model=00800001
    mul miss split: range-detectable=273762  carry-class=3349
MADD acc0 (chop pipe)     277209 / 2030976 (13.6491%)   first: a=00800000 b=3f800002 hard=00800002 model=00800001
DIV  (chop double)        840515 / 2030976 (41.3848%)   first: a=00000000 b=00000000 hard=7f7fffff model=7fffffff
    div miss split: special=274488  core=566027
SQRT (chop double)        488768 / 2030976 (24.0657%)   first: a=00800002 b=00000000 hard=20000000 model=20000001
    sqrt miss split: special=249739  core=239029
RSQRT (chop 2-stage)      930862 / 2030976 (45.8332%)   first: a=00000000 b=00000000 hard=7f7fffff model=7fffffff
    rsqrt miss split: special=542180  core=388682
DIV  (round-nearest)      538677 / 2030976 (26.5231%)   first: a=00000000 b=00000000 hard=7f7fffff model=7fffffff
    div-rn miss split: special=273470  core=265207
SQRT (round-nearest)      536773 / 2030976 (26.4293%)   first: a=01000002 b=00000000 hard=203504f5 model=203504f4
    sqrt-rn miss split: special=274267  core=262506
RSQRT (rn 2-stage)        734939 / 2030976 (36.1865%)   first: a=00000000 b=00000000 hard=7f7fffff model=7fffffff
    rsqrt-rn miss split: special=444437  core=290502
DIV  (round-to-odd)       964915 / 2030976 (47.5099%)   first: a=00000000 b=00000000 hard=7f7fffff model=7fffffff
    div-jam miss split: special=274030  core=690885
SQRT (round-to-odd)      1059488 / 2030976 (52.1664%)   first: a=00800001 b=00000000 hard=20000001 model=20000000
    sqrt-jam miss split: special=534958  core=524530
RSQRT (jam 2-stage)      1193165 / 2030976 (58.7484%)   first: a=00000000 b=00000000 hard=7f7fffff model=7fffffff
    rsqrt-jam miss split: special=673076  core=520089
FTOI0 rec-vs-interp             0 / 2031152
ITOF0 rec-vs-interp             0 / 2031152
flag incidence /2M random: add OF=52 UF=37  mul OF=254119 UF=241519  div DZ=7716
    madd miss split: range-detectable=273833  carry-class=3376
