Error in 19.4s

Runtime

Time bar (total: 19.4s)Debug log

start65.0ms

Algorithm
intervals

setup22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* d1 d2) (* d1 d3))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
1 → 12
Calls

1 calls. Slowest were:

4.0ms
(+ (* d1 d2) (* d1 d3))

series21.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

21.0ms
(+ (* d1 d2) (* d1 d3))

simplify47.0ms

Counts
5 → 15
Calls

5 calls. Slowest were:

18.0ms
(+ (* d3 d1) (* d2 d1))
10.0ms
(* (exp (* d1 d2)) (exp (* d1 d3)))
9.0ms
(+ (* d3 d1) (* d2 d1))

prune128.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(* d1 (+ d2 d3))

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
1 → 15
Calls

1 calls. Slowest were:

2.0ms
(* d1 (+ d2 d3))

series27.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

26.0ms
(* d1 (+ d2 d3))

simplify75.0ms

Counts
10 → 18
Calls

10 calls. Slowest were:

41.0ms
(+ (* d2 d2) (- (* d3 d3) (* d2 d3)))
6.0ms
(+ (* d3 d1) (* d2 d1))
5.0ms
(+ (* d3 d1) (* d2 d1))

prune131.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

3.5b
(sqrt (* d1 (+ d2 d3)))
3.5b
(sqrt (* d1 (+ d2 d3)))
0.2b
(* (sqrt (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))))
0.0b
(* d1 (+ d2 d3))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

6.0ms
(* (sqrt (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))))
1.0ms
(* d1 (+ d2 d3))
1.0ms
(sqrt (* d1 (+ d2 d3)))

series126.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

50.0ms
(sqrt (* d1 (+ d2 d3)))
38.0ms
(sqrt (* d1 (+ d2 d3)))
21.0ms
(* (sqrt (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))))

simplify2.4s

Counts
55 → 83
Calls

55 calls. Slowest were:

300.0ms
(* (sqrt (* d1 (- (* d2 d2) (* d3 d3)))) (sqrt (* d1 (+ (pow d2 3) (pow d3 3)))))
266.0ms
(* (* d1 (+ d2 d3)) (* d1 (+ d2 d3)))
264.0ms
(* (sqrt (* d1 (+ (pow d2 3) (pow d3 3)))) (sqrt (* d1 (- (* d2 d2) (* d3 d3)))))

prune518.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

37.2b
(/ (+ (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
2.6b
(+ (pow (* d1 d2) 3) (pow (* d1 d3) 3))
1.6b
(- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))
1.3b
(* (* d1 d2) (* d1 d3))

rewrite39.0ms

Algorithm
rewrite-expression-head
Counts
4 → 98
Calls

4 calls. Slowest were:

26.0ms
(/ (+ (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
5.0ms
(- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))
4.0ms
(+ (pow (* d1 d2) 3) (pow (* d1 d3) 3))

series226.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

110.0ms
(/ (+ (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))
60.0ms
(+ (pow (* d1 d2) 3) (pow (* d1 d3) 3))
39.0ms
(- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))

simplify12.6s

Counts
100 → 110
Calls

100 calls. Slowest were:

459.0ms
(* (* (* (* d1 d2) (* d1 d2)) (* d1 d2)) (* (* (* d1 d3) (* d1 d3)) (* d1 d3)))
441.0ms
(/ 1 (* (cbrt (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))) (cbrt (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))))
345.0ms
(cbrt (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))))

prune1.0s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes146.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (d1 d2 d3)
  :name "FastMath dist"

  :herbie-target
  (* d1 (+ d2 d3))

  (+ (* d1 d2) (* d1 d3)))

Backtrace

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