Weird expression causes server not to respond

herbie-fp / odyssey

A platform for exploring floating-point expressions :boat:

https://herbie-fp.github.io/odyssey/

MIT License

18 stars 0 forks source link

Weird expression causes server not to respond #183

Open elmisback opened 2 weeks ago

elmisback commented 2 weeks ago

Expression: sqrt(x + 1) - sqrt(y) + z + a + b + c + d + e + f + g + h + i + j + k + l + m + n + o

elmisback commented 2 weeks ago

Even x + y + z + x1 + y1 fails?

zaneenders commented 1 week ago

Seem to work for me with the true error commits Herbie: 9287265 Odyssey: 8da4444

(FPCore (x y z x1 y1) (+ (+ (+ (+ x y) z) x1) y1))

elmisback commented 1 week ago

It seems to me to not be working against 92872657 on the demo server, it's failing with a CORS error. Other expressions complete without the CORS error.