search

herbie-fp / odyssey

A platform for exploring floating-point expressions :boat:
https://herbie-fp.github.io/odyssey/
MIT License
17 stars 0 forks source link

GetAsyncAPI Timeout. #191

Open zaneenders opened 1 day ago

zaneenders commented 1 day ago

Herbie: 9287265 Odyssey: 8da4444 ⚠️ I forced pushed disabling GetAsyncApi Issue with the AsyncAPI timeout and not having any logic to retry. @elmisback I think we should disable the AsyncAPI calls for SC as It really only adds complexity to Odyssey and doesn't add any async to the server.

Screenshot 2024-11-12 at 10 16 26 AM 
(FPCore (x eps)
  :name "2sin (example 3.3)"
  :pre (and (<= -1e4 x) (<= x 1e4) (< (* 1e-16 (fabs x)) eps) (< eps (* (fabs x))))
  :alt 
  (! :herbie-platform default
   (* 2 (cos (+ x (/ eps 2))) (sin (/ eps 2))))

  :alt 
  (! :herbie-platform default
    (+ (* (sin x) (- (cos eps) 1)) (* (cos x) (sin eps))))

  :alt 
  (! :herbie-platform default
    (* (cos (* 0.5 (- eps (* -2 x)))) (sin (* 0.5 eps)) 2))

  (- (sin (+ x eps)) (sin x)))
elmisback commented 1 day ago

I'm moving this to post-SC since we are turning this off