Error in 29.3s

Runtime

Time bar (total: 29.3s)Debug log

start137.0ms

Algorithm
intervals

setup580.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize18.0ms

Local error

Found 3 expressions with local error:

0.8b
(/ (/ (- t1) (+ t1 u)) (/ (+ t1 u) v))
0.0b
(/ (- t1) (+ t1 u))
0.0b
(/ (+ t1 u) v)

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
3 → 162
Calls

3 calls. Slowest were:

8.0ms
(/ (/ (- t1) (+ t1 u)) (/ (+ t1 u) v))
3.0ms
(/ (- t1) (+ t1 u))
2.0ms
(/ (+ t1 u) v)

series143.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

90.0ms
(/ (/ (- t1) (+ t1 u)) (/ (+ t1 u) v))
28.0ms
(/ (- t1) (+ t1 u))
24.0ms
(/ (+ t1 u) v)

simplify7.5s

Counts
220 → 171
Calls

220 calls. Slowest were:

337.0ms
(/ (/ (- t1) (- (* t1 t1) (* u u))) (* (cbrt (/ (+ t1 u) v)) (cbrt (/ (+ t1 u) v))))
322.0ms
(/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
291.0ms
(/ (/ (* (cbrt (- t1)) (cbrt (- t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (cbrt (/ (+ t1 u) v)) (cbrt (/ (+ t1 u) v))))

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize6.0ms

Local error

Found 3 expressions with local error:

0.5b
(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
0.0b
(/ v (+ t1 u))
0.0b
(/ (- t1) (+ t1 u))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
3 → 91
Calls

3 calls. Slowest were:

7.0ms
(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
3.0ms
(/ (- t1) (+ t1 u))
0.0ms
(/ v (+ t1 u))

series141.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

102.0ms
(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
21.0ms
(/ (- t1) (+ t1 u))
18.0ms
(/ v (+ t1 u))

simplify1.9s

Counts
82 → 100
Calls

82 calls. Slowest were:

391.0ms
(/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
341.0ms
(+ (- (log (- t1)) (log (+ t1 u))) (log (/ v (+ t1 u))))
242.0ms
(* (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))

prune979.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

1.2b
(* (/ (- t1) (+ t1 u)) v)
0.8b
(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
0.0b
(/ (- t1) (+ t1 u))

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
3 → 86
Calls

3 calls. Slowest were:

13.0ms
(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
8.0ms
(* (/ (- t1) (+ t1 u)) v)
6.0ms
(/ (- t1) (+ t1 u))

series198.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

96.0ms
(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
71.0ms
(* (/ (- t1) (+ t1 u)) v)
31.0ms
(/ (- t1) (+ t1 u))

simplify1.3s

Counts
79 → 95
Calls

79 calls. Slowest were:

321.0ms
(/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
170.0ms
(- (log (* (/ (- t1) (+ t1 u)) v)) (log (+ t1 u)))
156.0ms
(/ (* (* (* (/ (- t1) (+ t1 u)) v) (* (/ (- t1) (+ t1 u)) v)) (* (/ (- t1) (+ t1 u)) v)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))

prune959.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize1.0ms

Local error

Found 3 expressions with local error:

0.8b
(/ (/ (- t1) (+ t1 u)) (/ (+ t1 u) v))
0.0b
(/ (- t1) (+ t1 u))
0.0b
(/ (+ t1 u) v)

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
3 → 162
Calls

3 calls. Slowest were:

12.0ms
(/ (/ (- t1) (+ t1 u)) (/ (+ t1 u) v))
6.0ms
(/ (- t1) (+ t1 u))
4.0ms
(/ (+ t1 u) v)

series163.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

108.0ms
(/ (/ (- t1) (+ t1 u)) (/ (+ t1 u) v))
33.0ms
(/ (- t1) (+ t1 u))
22.0ms
(/ (+ t1 u) v)

simplify8.2s

Counts
220 → 171
Calls

220 calls. Slowest were:

385.0ms
(/ (/ (- t1) (- (* t1 t1) (* u u))) (* (cbrt (/ (+ t1 u) v)) (cbrt (/ (+ t1 u) v))))
366.0ms
(/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
332.0ms
(/ (/ (- t1) (- (* t1 t1) (* u u))) (+ t1 u))

prune1.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes179.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (u v t1)
  :name "Rosa's DopplerBench"
  (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))

Backtrace

partition: contract violation expected: list? given: 1.2029481632735557 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128