Error in 38.8s

Runtime

Time bar (total: 38.8s)Debug logProfile

start185.0ms

Algorithm
intervals

setup785.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
3 → 188
Calls

3 calls. Slowest were:

13.0ms
(/ (/ t1 (+ t1 u)) (/ (+ t1 u) (- v)))
6.0ms
(/ (+ t1 u) (- v))
1.0ms
(/ t1 (+ t1 u))

series175.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

107.0ms
(/ (/ t1 (+ t1 u)) (/ (+ t1 u) (- v)))
36.0ms
(/ (+ t1 u) (- v))
33.0ms
(/ t1 (+ t1 u))

simplify19.8s

Counts
264 → 197
Calls

264 calls. Slowest were:

631.0ms
(/ (/ t1 (- (* t1 t1) (* u u))) (/ 1 (sqrt (- v))))
473.0ms
(/ (/ t1 (- (* t1 t1) (* u u))) (* (cbrt (/ (+ t1 u) (- v))) (cbrt (/ (+ t1 u) (- v)))))
397.0ms
(/ (/ t1 (- (* t1 t1) (* u u))) (/ (sqrt (+ t1 u)) (sqrt (- v))))

prune2.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

10.5b
(* (/ (- v) (+ u t1)) t1)
0.9b
(* (/ 1 (+ t1 u)) (* (/ (- v) (+ u t1)) t1))
0.0b
(/ 1 (+ t1 u))
0.0b
(/ (- v) (+ u t1))

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 112
Calls

4 calls. Slowest were:

9.0ms
(* (/ 1 (+ t1 u)) (* (/ (- v) (+ u t1)) t1))
4.0ms
(* (/ (- v) (+ u t1)) t1)
3.0ms
(/ (- v) (+ u t1))

series156.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

88.0ms
(* (/ 1 (+ t1 u)) (* (/ (- v) (+ u t1)) t1))
32.0ms
(* (/ (- v) (+ u t1)) t1)
18.0ms
(/ (- v) (+ u t1))

simplify2.5s

Counts
84 → 124
Calls

84 calls. Slowest were:

451.0ms
(* (/ 1 (+ t1 u)) (* (/ (- v) (+ u t1)) t1))
384.0ms
(/ (* (* (- v) (- v)) (- v)) (* (* (+ u t1) (+ u t1)) (+ u t1)))
336.0ms
(+ (- (log (+ t1 u))) (log (* (/ (- v) (+ u t1)) t1)))

prune1.4s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
3 → 104
Calls

3 calls. Slowest were:

7.0ms
(/ (/ t1 (/ (+ u t1) (- v))) (+ t1 u))
6.0ms
(/ (+ u t1) (- v))
2.0ms
(/ t1 (/ (+ u t1) (- v)))

series192.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

89.0ms
(/ (/ t1 (/ (+ u t1) (- v))) (+ t1 u))
70.0ms
(/ t1 (/ (+ u t1) (- v)))
32.0ms
(/ (+ u t1) (- v))

simplify3.1s

Counts
99 → 113
Calls

99 calls. Slowest were:

482.0ms
(/ (* (* (+ u t1) (+ u t1)) (+ u t1)) (* (* (- v) (- v)) (- v)))
310.0ms
(/ (/ 1 (/ (+ u t1) (- v))) (cbrt (+ t1 u)))
279.0ms
(/ (/ 1 (/ (+ u t1) (- v))) (sqrt (+ t1 u)))

prune1.1s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
3 → 97
Calls

3 calls. Slowest were:

10.0ms
(* (/ t1 (+ t1 u)) (/ (- v) (+ t1 u)))
6.0ms
(/ (- v) (+ t1 u))
1.0ms
(/ t1 (+ t1 u))

series171.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

109.0ms
(* (/ t1 (+ t1 u)) (/ (- v) (+ t1 u)))
32.0ms
(/ t1 (+ t1 u))
30.0ms
(/ (- v) (+ t1 u))

simplify2.1s

Counts
80 → 106
Calls

80 calls. Slowest were:

741.0ms
(/ (* (* (- v) (- v)) (- v)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
166.0ms
(* (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u))) (/ (* (* (- v) (- v)) (- v)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
161.0ms
(+ (log (/ t1 (+ t1 u))) (- (log (- v)) (log (+ t1 u))))

prune1.1s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

regimes177.0ms

Please include this information when filing a bug report:

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

Backtrace

partition: contract violation expected: list? given: 1.418339278357597 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