FAILED TEST: fuzz_simplify
Simplify fuzz test seed: 1562913093
a = uint8(a)
b = uint8(a)
c = (uint8)85
d = (uint8)165
e = (uint8)100
absd(ramp(uint8(c), uint8(a), 2), select((min((uint8)230, min(uint8(e), (uint8(c) + (uint8)82))) <= absd((uint8)84, (uint8)145)), ((uint8x2(x2(uint16(d))) + (x2(uint8(c))*ramp((uint8)223, uint8(b), 2))) - ((x2(uint8(e))/ramp(uint8(e), uint8(a), 2)) % (x2((uint8)73) % ramp((uint8)53, uint8(d), 2)))), ((x2(uint8(d)) - x2(uint8(d)))/(ramp(uint8(c), uint8(b), 2) - x2(uint8(c))))))
absd(ramp(uint8(c), uint8(a), 2), select(((uint8)61 < min(min((uint8(c) + (uint8)82), uint8(e)), (uint8)230)), x2((uint8)0), (ramp(((uint8(c)*(uint8)223) + uint8(d)), (uint8(b)*uint8(c)), 2) - ((x2(uint8(e))/ramp(uint8(e), uint8(a), 2)) % (x2((uint8)73) % ramp((uint8)53, uint8(d), 2))))))
In vector lane 0:
absd(uint8(c), (((uint8(c)*(uint8)223) + uint8(d)) - (uint8)1)) -> (uint8)90
absd(uint8(c), select(((uint8)61 < min(min((uint8(c) + (uint8)82), uint8(e)), (uint8)230)), (uint8)0, (((uint8(c)*(uint8)223) + uint8(d)) - (uint8)1))) -> (uint8)85
../halide/Makefile:1828: recipe for target 'quiet_correctness_fuzz_simplify' failed