Error in 25.5s

Runtime

Time bar (total: 25.5s)Debug logProfile

start224.0ms

Algorithm
intervals

setup223.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.5b

localize122.0ms

Local error

Found 4 expressions with local error:

23.8b
(sqrt (fma c (* a -4) (* b b)))
23.8b
(sqrt (fma c (* a -4) (* b b)))
0.9b
(- (- b) (sqrt (fma c (* a -4) (* b b))))
0.7b
(- (sqrt (fma c (* a -4) (* b b))) b)

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 93
Calls

4 calls. Slowest were:

9.0ms
(- (- b) (sqrt (fma c (* a -4) (* b b))))
6.0ms
(- (sqrt (fma c (* a -4) (* b b))) b)
2.0ms
(sqrt (fma c (* a -4) (* b b)))

series232.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

70.0ms
(- (- b) (sqrt (fma c (* a -4) (* b b))))
64.0ms
(sqrt (fma c (* a -4) (* b b)))
56.0ms
(sqrt (fma c (* a -4) (* b b)))

simplify2.5s

Counts
81 → 105
Calls

81 calls. Slowest were:

85.0ms
(- (* 2 (/ (* a c) b)) (* 2 b))
74.0ms
(fma 1 (- b) (- (* (sqrt (cbrt (fma c (* a -4) (* b b)))) (sqrt (* (cbrt (fma c (* a -4) (* b b))) (cbrt (fma c (* a -4) (* b b))))))))
69.0ms
(fma (sqrt (- b)) (sqrt (- b)) (- (* (sqrt (sqrt (fma c (* a -4) (* b b)))) (sqrt (sqrt (fma c (* a -4) (* b b)))))))

prune2.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 14.1b

localize112.0ms

Local error

Found 4 expressions with local error:

23.8b
(sqrt (fma c (* a -4) (* b b)))
23.8b
(sqrt (fma c (* a -4) (* b b)))
23.8b
(sqrt (fma c (* a -4) (* b b)))
10.9b
(- (- b) (* (sqrt (sqrt (fma c (* a -4) (* b b)))) (sqrt (sqrt (fma c (* a -4) (* b b))))))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

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

series260.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

72.0ms
(- (- b) (* (sqrt (sqrt (fma c (* a -4) (* b b)))) (sqrt (sqrt (fma c (* a -4) (* b b))))))
67.0ms
(sqrt (fma c (* a -4) (* b b)))
66.0ms
(sqrt (fma c (* a -4) (* b b)))

simplify657.0ms

Counts
37 → 78
Calls

37 calls. Slowest were:

98.0ms
(- (* 2 (/ (* a c) b)) (* 2 b))
70.0ms
(/ (exp (- b)) (exp (* (sqrt (sqrt (fma c (* a -4) (* b b)))) (sqrt (sqrt (fma c (* a -4) (* b b)))))))
48.0ms
(fma 1 (- b) (- (* (sqrt (sqrt (fma c (* a -4) (* b b)))) (sqrt (sqrt (fma c (* a -4) (* b b)))))))

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.1b

localize153.0ms

Local error

Found 4 expressions with local error:

23.8b
(sqrt (fma c (* a -4) (* b b)))
23.8b
(sqrt (fma c (* a -4) (* b b)))
23.8b
(sqrt (fma c (* a -4) (* b b)))
15.8b
(fma (sqrt (sqrt (fma c (* a -4) (* b b)))) (sqrt (sqrt (fma c (* a -4) (* b b)))) (- b))

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 52
Calls

4 calls. Slowest were:

1.0ms
(sqrt (fma c (* a -4) (* b b)))
1.0ms
(sqrt (fma c (* a -4) (* b b)))
1.0ms
(sqrt (fma c (* a -4) (* b b)))

series430.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

253.0ms
(fma (sqrt (sqrt (fma c (* a -4) (* b b)))) (sqrt (sqrt (fma c (* a -4) (* b b)))) (- b))
66.0ms
(sqrt (fma c (* a -4) (* b b)))
64.0ms
(sqrt (fma c (* a -4) (* b b)))

simplify614.0ms

Counts
24 → 64
Calls

24 calls. Slowest were:

319.0ms
(- (pow (exp (* 1/4 (- (log -4) (+ (log (/ 1 a)) (log (/ 1 c)))))) 2) b)
131.0ms
(- (pow (exp (* 1/4 (- (log -4) (+ (log (/ -1 c)) (log (/ -1 a)))))) 2) b)
21.0ms
(sqrt (* (cbrt (fma c (* a -4) (* b b))) (cbrt (fma c (* a -4) (* b b)))))

prune1.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.1b

localize182.0ms

Local error

Found 4 expressions with local error:

24.7b
(cbrt (fma c (* a -4) (* b b)))
24.7b
(cbrt (fma (* c -4) a (* b b)))
23.8b
(sqrt (fma c (* a -4) (* b b)))
23.8b
(sqrt (fma c (* a -4) (* b b)))

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 54
Calls

4 calls. Slowest were:

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

series480.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

200.0ms
(cbrt (fma c (* a -4) (* b b)))
182.0ms
(cbrt (fma (* c -4) a (* b b)))
58.0ms
(sqrt (fma c (* a -4) (* b b)))

simplify1.2s

Counts
26 → 66
Calls

26 calls. Slowest were:

213.0ms
(- (pow b 2/3) (* 4/3 (* (* a c) (pow (/ 1 (pow b 4)) 1/3))))
197.0ms
(exp (* 1/3 (- (log -4) (+ (log (/ 1 a)) (log (/ 1 c))))))
197.0ms
(exp (* 1/3 (- (log -4) (+ (log (/ 1 a)) (log (/ 1 c))))))

prune2.0s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 14.1b

regimes412.0ms

Please include this information when filing a bug report:

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

Backtrace

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