Error in 16.3s

Runtime

Time bar (total: 16.3s)Debug logProfile

start34.0ms

Algorithm
intervals

setup243.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize27.0ms

Local error

Found 2 expressions with local error:

0.3b
(+ (+ a d) (+ c b))
0.3b
(+ (+ (+ a d) (+ c b)) e)

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
2 → 40
Calls

2 calls. Slowest were:

32.0ms
(+ (+ (+ a d) (+ c b)) e)
8.0ms
(+ (+ a d) (+ c b))

series104.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

63.0ms
(+ (+ (+ a d) (+ c b)) e)
41.0ms
(+ (+ a d) (+ c b))

simplify2.7s

Counts
21 → 46
Calls

21 calls. Slowest were:

644.0ms
(+ (* (- (* a a) (* d d)) (- c b)) (* (- a d) (- (* c c) (* b b))))
636.0ms
(+ (* (+ (pow a 3) (pow d 3)) (- c b)) (* (+ (* a a) (- (* d d) (* a d))) (- (* c c) (* b b))))
501.0ms
(* (+ (* a a) (- (* d d) (* a d))) (+ (* c c) (- (* b b) (* c b))))

prune657.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.3b
(+ (+ (+ a d) c) b)
0.3b
(+ (+ (+ (+ a d) c) b) e)
0.2b
(+ (+ a d) c)

rewrite90.0ms

Algorithm
rewrite-expression-head
Counts
3 → 48
Calls

3 calls. Slowest were:

66.0ms
(+ (+ (+ (+ a d) c) b) e)
21.0ms
(+ (+ (+ a d) c) b)
3.0ms
(+ (+ a d) c)

series100.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

46.0ms
(+ (+ (+ (+ a d) c) b) e)
33.0ms
(+ (+ (+ a d) c) b)
20.0ms
(+ (+ a d) c)

simplify225.0ms

Counts
17 → 57
Calls

17 calls. Slowest were:

58.0ms
(* (cbrt (+ (+ (+ a d) c) b)) (cbrt (+ (+ (+ a d) c) b)))
27.0ms
(sqrt (+ (+ (+ a d) c) b))
16.0ms
(sqrt (+ (+ a d) c))

prune595.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.3b
(+ (+ (+ a d) c) (+ b e))
0.2b
(+ (+ a d) c)

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
2 → 39
Calls

2 calls. Slowest were:

26.0ms
(+ (+ (+ a d) c) (+ b e))
2.0ms
(+ (+ a d) c)

series51.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

38.0ms
(+ (+ (+ a d) c) (+ b e))
13.0ms
(+ (+ a d) c)

simplify1.8s

Counts
21 → 45
Calls

21 calls. Slowest were:

446.0ms
(* (+ (* (+ a d) (+ a d)) (- (* c c) (* (+ a d) c))) (- b e))
232.0ms
(+ (* (- (* (+ a d) (+ a d)) (* c c)) (+ (* b b) (- (* e e) (* b e)))) (* (- (+ a d) c) (+ (pow b 3) (pow e 3))))
213.0ms
(* (exp (+ (+ a d) c)) (exp (+ b e)))

prune495.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

2.5b
(exp (+ (+ d b) (+ a c)))
0.3b
(+ (+ d b) (+ a c))
0.3b
(+ (log (exp (+ (+ d b) (+ a c)))) e)
0.0b
(log (exp (+ (+ d b) (+ a c))))

rewrite143.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

99.0ms
(+ (log (exp (+ (+ d b) (+ a c)))) e)
19.0ms
(log (exp (+ (+ d b) (+ a c))))
16.0ms
(exp (+ (+ d b) (+ a c)))

series159.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

44.0ms
(exp (+ (+ d b) (+ a c)))
43.0ms
(+ (log (exp (+ (+ d b) (+ a c)))) e)
36.0ms
(log (exp (+ (+ d b) (+ a c))))

simplify4.1s

Counts
50 → 94
Calls

50 calls. Slowest were:

615.0ms
(* (+ (* d d) (- (* b b) (* d b))) (+ (* a a) (- (* c c) (* a c))))
572.0ms
(+ (* (+ (pow d 3) (pow b 3)) (- a c)) (* (+ (* d d) (- (* b b) (* d b))) (- (* a a) (* c c))))
532.0ms
(+ (* (- (* d d) (* b b)) (- a c)) (* (- d b) (- (* a a) (* c c))))

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes769.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (a b c d e)
  :name "Expression 1, p15"
  :pre (<= 1 a 2 b 4 c 8 d 16 e 32)

  :herbie-target
  (+ (+ d (+ c (+ a b))) e)

  (+ (+ (+ (+ e d) c) b) a))

Backtrace

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