Error in 10.0ms

Runtime

Please include this information when filing a bug report:

herbie shell --seed '#(1070960995 739739648 2531964651 3069671617 351857262 3877178482)' +o rules:numerics
(FPCore (a b c)
  :name "Area of a triangle"
  :pre (and (< 0 a) (< 0 b) (< 0 c))
  (sqrt (* (* (* (/ (+ (+ a b) c) 2) (- (/ (+ (+ a b) c) 2) a)) (- (/ (+ (+ a b) c) 2) b)) (- (/ (+ (+ a b) c) 2) c))))

Backtrace

assert: (< 0 exacts-prec-idx (vector-length exacts-precs)) returned false!		L	C
dump-exacts-prec	/data/pavpan/nightlies/herbie/exacts-precision-steps/src/points.rkt	154	0
loop	/data/pavpan/nightlies/herbie/exacts-precision-steps/src/points.rkt	176	2
loop	/data/pavpan/nightlies/herbie/exacts-precision-steps/src/points.rkt	217	2
run-improve50	/data/pavpan/nightlies/herbie/exacts-precision-steps/src/mainloop.rkt	234	0
(unnamed)	/usr/share/racket/collects/racket/private/more-scheme.rkt	261	28
run	/usr/share/racket/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/usr/share/racket/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/usr/share/racket/collects/racket/private/more-scheme.rkt	261	28