Time bar (total: 21.4s) Debug log
Please include this information when filing a bug report:
herbie --seed '#(1396731588 3301291437 812056184 3124160167 3548108005 4128761148)'
(FPCore (a b c)
:name "Random Jason Timeout Test 009"
(fabs (fmod c (asin (- 2.821952756469356e+184 b)))))| 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 |