Time bar (total: 36.5s) Debug log
Please include this information when filing a bug report:
herbie --seed '#(3042209127 2022729764 3313166321 4075783413 705100875 65069737)'
(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))))| sample-points: Cannot sample enough valid points. See <http://herbie.uwplse.org/doc/1.1/faq.html#sample-valid-points> for more. | L | C | |
|---|---|---|---|
| run-improve58 | /home/pavpan/herbie/src/mainloop.rkt | 244 | 0 |
| (unnamed) | /opt/racket-6.3/collects/racket/private/more-scheme.rkt | 261 | 28 |