FAILED TEST: fuzz_simplify
.Simplify fuzz test seed: 1563913770
a = (uint1)0
b = uint1(c)
c = (uint1)0
d = (uint1)1
e = uint1(e)
uint1x2(select((ramp((uint16(d)/(uint16(a) + (uint16)29933)), uint16(b), 2) != ramp(uint16(c), (uint16)40807, 2)), max(x2(uint16(a)), (ramp(uint16(d), (uint16)20756, 2) - x2(uint16(a)))), min(((x2(uint16(d)) - x2(uint16(d))) % (ramp(uint16(a), uint16(b), 2) % ramp(uint16(a), (uint16)739, 2))), select(((uint16(b) + uint16(a)) == uint16(e)), (x2((uint16)1243) % x2(uint16(d))), (x2(uint16(a)) + x2(uint16(d)))))))
uint1x2(select((ramp(((uint16(d)/(uint16(a) + (uint16)29933)) - uint16(c)), (uint16(b) - (uint16)40807), 2) == x2((uint16)0)), x2((uint16)0), max(ramp((uint16(d) - uint16(a)), (uint16)20756, 2), x2(uint16(a)))))
In vector lane 0:
uint1(max((uint16(d) - uint16(a)), uint16(a))) -> (uint1)1
uint1(select(((uint16(d)/(uint16(a) + (uint16)29933)) == uint16(c)), (uint16)0, max((uint16(d) - uint16(a)), uint16(a)))) -> (uint1)0