Error in 8.1s

Runtime

Time bar (total: 8.1s)Debug logProfile

start50.0ms

Algorithm
intervals

setup55.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ b a) (+ b a))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
1 → 32
Calls

1 calls. Slowest were:

4.0ms
(* (+ b a) (+ b a))

series11.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

11.0ms
(* (+ b a) (+ b a))

simplify2.9s

Counts
28 → 35
Calls

28 calls. Slowest were:

547.0ms
(* (* (* (+ b a) (+ b a)) (+ b a)) (* (* (+ b a) (+ b a)) (+ b a)))
399.0ms
(* (- (* b b) (* a a)) (+ (pow b 3) (pow a 3)))
394.0ms
(* (+ (* b b) (- (* a a) (* b a))) (+ (* b b) (- (* a a) (* b a))))

prune255.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (fma 2 a b) b (* a a))

rewrite1.0ms

Algorithm
rewrite-expression-head
Counts
1 → 10
Calls

1 calls. Slowest were:

0.0ms
(fma (fma 2 a b) b (* a a))

series17.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

17.0ms
(fma (fma 2 a b) b (* a a))

simplify183.0ms

Counts
3 → 13
Calls

3 calls. Slowest were:

80.0ms
(+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
57.0ms
(+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
45.0ms
(+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))

prune169.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* (+ b a) b) (* (+ b a) a))
0.0b
(* (+ b a) b)
0.0b
(* (+ b a) a)

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
3 → 49
Calls

3 calls. Slowest were:

5.0ms
(+ (* (+ b a) b) (* (+ b a) a))
4.0ms
(* (+ b a) a)
2.0ms
(* (+ b a) b)

series54.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

22.0ms
(+ (* (+ b a) b) (* (+ b a) a))
16.0ms
(* (+ b a) b)
15.0ms
(* (+ b a) a)

simplify2.3s

Counts
29 → 58
Calls

29 calls. Slowest were:

382.0ms
(* (+ (* b b) (- (* a a) (* b a))) (+ (* b b) (- (* a a) (* b a))))
371.0ms
(* (- (* b b) (* a a)) a)
356.0ms
(* (- (* b b) (* a a)) b)

prune544.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes59.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (a b)
  :name "Expression 4, p15"
  :pre (and (<= 5 a 10) (<= 0 b 0.001))

  :herbie-target
  (+ (+ (+ (* b a) (* b b)) (* b a)) (* a a))

  (* (+ a b) (+ a b)))

Backtrace

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