Error in 10.3s

Runtime

Time bar (total: 10.3s)Debug logProfile

start51.0ms

Algorithm
intervals

setup344.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.9b

localize25.0ms

Local error

Found 1 expressions with local error:

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

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
1 → 23
Calls

1 calls. Slowest were:

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

series36.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

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

simplify2.3s

Counts
15 → 26
Calls

15 calls. Slowest were:

581.0ms
(+ (* (+ (pow a 3) (pow c 3)) (- b d)) (* (+ (* a a) (- (* c c) (* a c))) (- (* b b) (* d d))))
489.0ms
(* (+ (* a a) (- (* c c) (* a c))) (+ (* b b) (- (* d d) (* b d))))
480.0ms
(+ (* (- (* a a) (* c c)) (- b d)) (* (- a c) (- (* b b) (* d d))))

prune385.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 1.7b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
2 → 32
Calls

2 calls. Slowest were:

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

series55.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

37.0ms
(+ (+ (+ a c) b) d)
18.0ms
(+ (+ a c) b)

simplify118.0ms

Counts
11 → 38
Calls

11 calls. Slowest were:

15.0ms
(* (cbrt (+ (+ a c) b)) (cbrt (+ (+ a c) b)))
14.0ms
(+ a (+ b c))
13.0ms
(+ a (+ b c))

prune429.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 1.5b

localize12.0ms

Local error

Found 1 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
1 → 16
Calls

1 calls. Slowest were:

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

series25.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

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

simplify56.0ms

Counts
5 → 19
Calls

5 calls. Slowest were:

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

prune368.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 1.4b

localize19.0ms

Local error

Found 3 expressions with local error:

2.7b
(+ (+ a (+ c b)) d)
0.1b
(expm1 (+ (+ a (+ c b)) d))
0.0b
(log1p (expm1 (+ (+ a (+ c b)) d)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
3 → 38
Calls

3 calls. Slowest were:

8.0ms
(+ (+ a (+ c b)) d)
1.0ms
(expm1 (+ (+ a (+ c b)) d))
0.0ms
(log1p (expm1 (+ (+ a (+ c b)) d)))

series115.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

44.0ms
(log1p (expm1 (+ (+ a (+ c b)) d)))
37.0ms
(expm1 (+ (+ a (+ c b)) d))
34.0ms
(+ (+ a (+ c b)) d)

simplify356.0ms

Counts
13 → 47
Calls

13 calls. Slowest were:

132.0ms
(- (exp (+ a (+ b (+ c d)))) 1)
123.0ms
(- (exp (+ a (+ b (+ c d)))) 1)
35.0ms
(+ (+ a (+ c b)) d)

prune647.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 1.3b

regimes584.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(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.7457604077108666 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