Time bar (total: 36.7s)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.4b
Found 3 expressions with local error:
| 0.8b | (/ (/ t1 (+ t1 u)) (/ (+ t1 u) (- v))) |
| 0.0b | (/ t1 (+ t1 u)) |
| 0.0b | (/ (+ t1 u) (- v)) |
3 calls. Slowest were:
| 11.0ms | (/ (/ t1 (+ t1 u)) (/ (+ t1 u) (- v))) |
| 6.0ms | (/ (+ t1 u) (- v)) |
| 1.0ms | (/ t1 (+ t1 u)) |
3 calls. Slowest were:
| 124.0ms | (/ (/ t1 (+ t1 u)) (/ (+ t1 u) (- v))) |
| 22.0ms | (/ t1 (+ t1 u)) |
| 21.0ms | (/ (+ t1 u) (- v)) |
264 calls. Slowest were:
| 687.0ms | (/ (/ t1 (- (* t1 t1) (* u u))) (/ 1 (sqrt (- v)))) |
| 443.0ms | (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (- v) (- v)) (- v))) |
| 431.0ms | (/ (/ t1 (- (* t1 t1) (* u u))) (/ (sqrt (+ t1 u)) -1)) |
7 alts after pruning (7 fresh and 0 done)
Merged error: 0.0b
Found 3 expressions with local error:
| 0.5b | (* (/ t1 (+ t1 u)) (/ (- v) (+ t1 u))) |
| 0.0b | (/ t1 (+ t1 u)) |
| 0.0b | (/ (- v) (+ t1 u)) |
3 calls. Slowest were:
| 7.0ms | (* (/ t1 (+ t1 u)) (/ (- v) (+ t1 u))) |
| 6.0ms | (/ (- v) (+ t1 u)) |
| 1.0ms | (/ t1 (+ t1 u)) |
3 calls. Slowest were:
| 105.0ms | (* (/ t1 (+ t1 u)) (/ (- v) (+ t1 u))) |
| 35.0ms | (/ t1 (+ t1 u)) |
| 31.0ms | (/ (- v) (+ t1 u)) |
80 calls. Slowest were:
| 418.0ms | (/ (* (* (- v) (- v)) (- v)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) |
| 161.0ms | (* (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u))) (/ (* (* (- v) (- v)) (- v)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) |
| 122.0ms | (+ (log (/ t1 (+ t1 u))) (- (log (- v)) (log (+ t1 u)))) |
6 alts after pruning (6 fresh and 0 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.8b | (/ 1 (/ (+ t1 u) t1)) |
| 0.5b | (* (/ 1 (/ (+ t1 u) t1)) (/ (- v) (+ t1 u))) |
| 0.0b | (/ (+ t1 u) t1) |
| 0.0b | (/ (- v) (+ t1 u)) |
4 calls. Slowest were:
| 12.0ms | (* (/ 1 (/ (+ t1 u) t1)) (/ (- v) (+ t1 u))) |
| 6.0ms | (/ (- v) (+ t1 u)) |
| 5.0ms | (/ (+ t1 u) t1) |
4 calls. Slowest were:
| 72.0ms | (* (/ 1 (/ (+ t1 u) t1)) (/ (- v) (+ t1 u))) |
| 31.0ms | (/ (- v) (+ t1 u)) |
| 21.0ms | (/ 1 (/ (+ t1 u) t1)) |
88 calls. Slowest were:
| 420.0ms | (/ (* (* (- v) (- v)) (- v)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) |
| 390.0ms | (+ (log (/ 1 (/ (+ t1 u) t1))) (log (/ (- v) (+ t1 u)))) |
| 341.0ms | (* (/ 1 (/ (+ t1 u) t1)) (/ (- v) (+ t1 u))) |
6 alts after pruning (5 fresh and 1 done)
Merged error: 0b
Found 4 expressions with local error:
| 0.6b | (/ -1 (/ (+ t1 u) v)) |
| 0.5b | (* (/ t1 (+ t1 u)) (/ -1 (/ (+ t1 u) v))) |
| 0.0b | (/ t1 (+ t1 u)) |
| 0.0b | (/ (+ t1 u) v) |
4 calls. Slowest were:
| 7.0ms | (* (/ t1 (+ t1 u)) (/ -1 (/ (+ t1 u) v))) |
| 4.0ms | (/ (+ t1 u) v) |
| 2.0ms | (/ -1 (/ (+ t1 u) v)) |
4 calls. Slowest were:
| 107.0ms | (* (/ t1 (+ t1 u)) (/ -1 (/ (+ t1 u) v))) |
| 70.0ms | (/ -1 (/ (+ t1 u) v)) |
| 34.0ms | (/ t1 (+ t1 u)) |
40 calls. Slowest were:
| 211.0ms | (* (/ t1 (+ t1 u)) (/ -1 (/ (+ t1 u) v))) |
| 171.0ms | (+ (log (/ t1 (+ t1 u))) (log (/ -1 (/ (+ t1 u) v)))) |
| 129.0ms | (* (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u))) (* (* (/ -1 (/ (+ t1 u) v)) (/ -1 (/ (+ t1 u) v))) (/ -1 (/ (+ t1 u) v)))) |
6 alts after pruning (4 fresh and 2 done)
Merged error: 0b
Please include this information when filing a bug report:
herbie shell --seed 2018359 +o rules:numerics
(FPCore (u v t1)
:name "Rosa's DopplerBench"
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
| partition: contract violation expected: list? given: 1.3595207032837517 argument position: 2nd other arguments...: #<procedure:ordinary-value?> | L | C | |
|---|---|---|---|
| partition | /home/p92/racket/collects/racket/list.rkt | 555 | 0 |
| errors-score | /data/pavpan/nightlies/herbie/develop/src/points.rkt | 322 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/develop/src/sandbox.rkt | 75 | 12 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |