Error in 12.4s

Runtime

Time bar (total: 12.4s)Debug log

start54.0ms

Algorithm
intervals

setup195.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.9b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
1 → 18
Calls

1 calls. Slowest were:

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

series22.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

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

simplify2.3s

Counts
13 → 21
Calls

13 calls. Slowest were:

524.0ms
(+ (* (+ (pow a 3) (pow c 3)) (- b d)) (* (+ (* a a) (- (* c c) (* a c))) (- (* b b) (* d d))))
467.0ms
(+ (* (- (* a a) (* c c)) (- b d)) (* (- a c) (- (* b b) (* d d))))
361.0ms
(* (+ (* a a) (- (* c c) (* a c))) (- b d))

prune357.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.8b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
2 → 22
Calls

2 calls. Slowest were:

13.0ms
(+ (+ (+ a c) b) d)
5.0ms
(+ (+ a c) b)

series37.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

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

simplify69.0ms

Counts
7 → 28
Calls

7 calls. Slowest were:

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

prune346.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.6b

localize21.0ms

Local error

Found 1 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
1 → 11
Calls

1 calls. Slowest were:

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

series38.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

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

simplify22.0ms

Counts
3 → 14
Calls

3 calls. Slowest were:

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

prune180.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 1.5b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
4 → 46
Calls

4 calls. Slowest were:

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

series365.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

261.0ms
(cbrt (+ (+ a (+ b c)) d))
35.0ms
(+ (+ a (+ b c)) d)
35.0ms
(+ (+ a (+ b c)) d)

simplify1.7s

Counts
17 → 58
Calls

17 calls. Slowest were:

771.0ms
(cbrt (- (* (+ a (+ b c)) (+ a (+ b c))) (* d d)))
647.0ms
(cbrt (+ (pow (+ a (+ b c)) 3) (pow d 3)))
93.0ms
(+ (* 1/3 (* b (pow (/ 1 (pow d 2)) 1/3))) (+ (* 1/3 (* a (pow (/ 1 (pow d 2)) 1/3))) (pow d 1/3)))

prune753.0ms

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 1.4b

regimes807.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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: 2.767095604697252 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