Error in 32.9s

Runtime

Time bar (total: 32.9s)Debug logProfile

start274.0ms

Algorithm
intervals

setup194.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.5b

localize179.0ms

Local error

Found 4 expressions with local error:

22.9b
(sqrt (- (* b b) (* (* 4 a) c)))
22.9b
(sqrt (- (* b b) (* (* 4 a) c)))
0.9b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.8b
(- (* b b) (* (* 4 a) c))

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

12.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
7.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
4.0ms
(- (* b b) (* (* 4 a) c))

series230.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

72.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
68.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
48.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))

simplify2.4s

Counts
31 → 68
Calls

31 calls. Slowest were:

443.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
428.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
162.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))

prune1.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 8.3b

localize124.0ms

Local error

Found 4 expressions with local error:

22.9b
(sqrt (- (* b b) (* (* 4 a) c)))
22.9b
(sqrt (- (* b b) (* (* 4 a) c)))
22.9b
(sqrt (- (* b b) (* (* 4 a) c)))
12.8b
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 54
Calls

4 calls. Slowest were:

8.0ms
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
4.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
3.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series277.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

78.0ms
(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
75.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
68.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify3.0s

Counts
31 → 66
Calls

31 calls. Slowest were:

498.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
452.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
427.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 8.3b

localize152.0ms

Local error

Found 4 expressions with local error:

22.9b
(sqrt (- (* b b) (* (* 4 a) c)))
22.9b
(sqrt (- (* b b) (* (* 4 a) c)))
22.9b
(sqrt (- (* b b) (* (* 4 a) c)))
22.9b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

4.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series240.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

70.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
68.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
54.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify3.7s

Counts
36 → 68
Calls

36 calls. Slowest were:

513.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
486.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
429.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))

prune1.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 8.3b

localize143.0ms

Local error

Found 4 expressions with local error:

23.8b
(cbrt (- (* b b) (* (* 4 a) c)))
23.8b
(cbrt (- (* b b) (* (* 4 a) c)))
22.9b
(sqrt (- (* b b) (* (* 4 a) c)))
22.9b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 54
Calls

4 calls. Slowest were:

4.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
3.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
1.0ms
(cbrt (- (* b b) (* (* 4 a) c)))

series382.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

134.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
131.0ms
(cbrt (- (* b b) (* (* 4 a) c)))
69.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify4.0s

Counts
34 → 66
Calls

34 calls. Slowest were:

709.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
442.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
435.0ms
(cbrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))

prune1.9s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 8.3b

regimes387.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (a b c)
  :name "jeff quadratic root 2"
  (if (>= b 0) (/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))))

Backtrace

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