Error in 17.9s

Runtime

Time bar (total: 17.9s)Debug logProfile

start78.0ms

Algorithm
intervals

setup281.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.9b

localize23.0ms

Local error

Found 1 expressions with local error:

3.0b
(+ (+ a c) (+ b d))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
1 → 18
Calls

1 calls. Slowest were:

6.0ms
(+ (+ a c) (+ b d))

series40.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

40.0ms
(+ (+ a c) (+ b d))

simplify2.7s

Counts
13 → 21
Calls

13 calls. Slowest were:

935.0ms
(+ (* (+ (pow a 3) (pow c 3)) (- b d)) (* (+ (* a a) (- (* c c) (* a c))) (- (* b b) (* d d))))
471.0ms
(+ (* (- (* a a) (* c c)) (- b d)) (* (- a c) (- (* b b) (* d d))))
410.0ms
(* (+ (* a a) (- (* c c) (* a c))) (- b d))

prune303.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.9b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
2 → 22
Calls

2 calls. Slowest were:

11.0ms
(+ (+ (+ a c) b) d)
3.0ms
(+ (+ a c) b)

series48.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

31.0ms
(+ (+ (+ a c) b) d)
17.0ms
(+ (+ a c) b)

simplify61.0ms

Counts
7 → 28
Calls

7 calls. Slowest were:

12.0ms
(+ a (+ b c))
12.0ms
(+ b (+ c d))
12.0ms
(+ b (+ c d))

prune445.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 1.6b

localize23.0ms

Local error

Found 1 expressions with local error:

2.7b
(+ (+ a (+ c b)) d)

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
1 → 11
Calls

1 calls. Slowest were:

7.0ms
(+ (+ a (+ c b)) d)

series33.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

33.0ms
(+ (+ a (+ c b)) d)

simplify33.0ms

Counts
3 → 14
Calls

3 calls. Slowest were:

11.0ms
(+ b (+ c d))
11.0ms
(+ a (+ b c))
10.0ms
(+ b (+ c d))

prune244.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 1.5b

localize23.0ms

Local error

Found 4 expressions with local error:

2.7b
(+ (+ a (+ c b)) d)
2.7b
(+ (+ a (+ c b)) d)
2.7b
(+ (+ a (+ c b)) d)
0.6b
(cbrt (* (* (+ (+ a (+ c b)) d) (+ (+ a (+ c b)) d)) (+ (+ a (+ c b)) d)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

34.0ms
(cbrt (* (* (+ (+ a (+ c b)) d) (+ (+ a (+ c b)) d)) (+ (+ a (+ c b)) d)))
7.0ms
(+ (+ a (+ c b)) d)
7.0ms
(+ (+ a (+ c b)) d)

series144.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

47.0ms
(cbrt (* (* (+ (+ a (+ c b)) d) (+ (+ a (+ c b)) d)) (+ (+ a (+ c b)) d)))
33.0ms
(+ (+ a (+ c b)) d)
33.0ms
(+ (+ a (+ c b)) d)

simplify7.7s

Counts
40 → 81
Calls

40 calls. Slowest were:

882.0ms
(cbrt (* (+ (+ a (+ c b)) d) (+ (+ a (+ c b)) d)))
429.0ms
(cbrt (* (* (- (* (+ a (+ c b)) (+ a (+ c b))) (* d d)) (+ (+ a (+ c b)) d)) (+ (pow (+ a (+ c b)) 3) (pow d 3))))
428.0ms
(cbrt (* (* (+ (+ a (+ c b)) d) (+ (pow (+ a (+ c b)) 3) (pow d 3))) (+ (pow (+ a (+ c b)) 3) (pow d 3))))

prune1.0s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.3b

regimes518.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (a b c d)
  :name "Expression, p6"
  :pre (and (<= -14 a -13) (<= -3 b -2) (<= 3 c 3.5) (<= 12.5 d 13.5))

  :herbie-target
  (+ (* (+ a b) 2) (* (+ c d) 2))

  (* (+ a (+ b (+ c d))) 2))

Backtrace

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