change heuristic for when ⊔ separates filtering out ¯1

measurements of the previous one were affected by 08c4627686
This commit is contained in:
dzaima 2023-12-04 22:49:18 +02:00
parent 8870acd2c1
commit 5c7ab3f9a8

View File

@ -170,7 +170,7 @@ static B group_simple(B w, B x, ur xr, usz wia, usz xn, usz* xsh, u8 we) {
}
// Many ¯1s: filter out, then continue
if (xn>32 && neg>(bits?0:xn/4)+xn/8) {
if (xn>32 && neg > (bits? 0 : xn/16)) {
if (wia>xn) w = C2(take, m_f64(xn), w);
B m = C2(ne, m_f64(-1), incG(w));
w = C2(slash, incG(m), w);