Error in 27.4s

Runtime

Time bar (total: 27.4s)Debug log

start140.0ms

Algorithm
intervals

setup86.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize16.0ms

Local error

Found 3 expressions with local error:

1.4b
(/ (* (pow k m) a) (fma k (+ k 10) 1))
0.0b
(* (pow k m) a)
0.0b
(fma k (+ k 10) 1)

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
3 → 44
Calls

3 calls. Slowest were:

5.0ms
(/ (* (pow k m) a) (fma k (+ k 10) 1))
2.0ms
(* (pow k m) a)
0.0ms
(fma k (+ k 10) 1)

series209.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

101.0ms
(/ (* (pow k m) a) (fma k (+ k 10) 1))
100.0ms
(* (pow k m) a)
9.0ms
(fma k (+ k 10) 1)

simplify2.7s

Counts
23 → 53
Calls

23 calls. Slowest were:

888.0ms
(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (fma k (+ k 10) 1) (fma k (+ k 10) 1)) (fma k (+ k 10) 1)))
663.0ms
(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))
317.0ms
(- (+ (* 99 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))

prune793.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (* (pow k m) a) (/ 1 (fma k (+ k 10) 1)))
0.5b
(/ 1 (fma k (+ k 10) 1))
0.0b
(* (pow k m) a)
0.0b
(fma k (+ k 10) 1)

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 62
Calls

4 calls. Slowest were:

13.0ms
(* (* (pow k m) a) (/ 1 (fma k (+ k 10) 1)))
4.0ms
(* (pow k m) a)
2.0ms
(/ 1 (fma k (+ k 10) 1))

series257.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

127.0ms
(* (pow k m) a)
98.0ms
(* (* (pow k m) a) (/ 1 (fma k (+ k 10) 1)))
18.0ms
(/ 1 (fma k (+ k 10) 1))

simplify2.8s

Counts
29 → 74
Calls

29 calls. Slowest were:

522.0ms
(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))
491.0ms
(* (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (/ 1 (fma k (+ k 10) 1)) (/ 1 (fma k (+ k 10) 1))) (/ 1 (fma k (+ k 10) 1))))
344.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))

prune944.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

13.3b
(sqrt (fma k (+ k 10) 1))
13.3b
(sqrt (fma k (+ k 10) 1))
0.0b
(* (/ (pow k m) (sqrt (fma k (+ k 10) 1))) (/ a (sqrt (fma k (+ k 10) 1))))
0.0b
(/ a (sqrt (fma k (+ k 10) 1)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 91
Calls

4 calls. Slowest were:

6.0ms
(* (/ (pow k m) (sqrt (fma k (+ k 10) 1))) (/ a (sqrt (fma k (+ k 10) 1))))
1.0ms
(sqrt (fma k (+ k 10) 1))
1.0ms
(sqrt (fma k (+ k 10) 1))

series209.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

127.0ms
(* (/ (pow k m) (sqrt (fma k (+ k 10) 1))) (/ a (sqrt (fma k (+ k 10) 1))))
47.0ms
(/ a (sqrt (fma k (+ k 10) 1)))
20.0ms
(sqrt (fma k (+ k 10) 1))

simplify5.1s

Counts
61 → 103
Calls

61 calls. Slowest were:

609.0ms
(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))
476.0ms
(* (* (* (/ (pow k m) (sqrt (fma k (+ k 10) 1))) (/ (pow k m) (sqrt (fma k (+ k 10) 1)))) (/ (pow k m) (sqrt (fma k (+ k 10) 1)))) (* (* (/ a (sqrt (fma k (+ k 10) 1))) (/ a (sqrt (fma k (+ k 10) 1)))) (/ a (sqrt (fma k (+ k 10) 1)))))
450.0ms
(- (+ (* 37 (* a (pow k 2))) a) (* 5 (* a k)))

prune1.6s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 4 expressions with local error:

1.5b
(/ (fma k (+ k 10) 1) (* (pow k m) a))
0.1b
(/ 1 (/ (fma k (+ k 10) 1) (* (pow k m) a)))
0.0b
(* (pow k m) a)
0.0b
(fma k (+ k 10) 1)

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

4.0ms
(/ (fma k (+ k 10) 1) (* (pow k m) a))
2.0ms
(/ 1 (/ (fma k (+ k 10) 1) (* (pow k m) a)))
2.0ms
(* (pow k m) a)

series341.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

120.0ms
(/ 1 (/ (fma k (+ k 10) 1) (* (pow k m) a)))
106.0ms
(* (pow k m) a)
101.0ms
(/ (fma k (+ k 10) 1) (* (pow k m) a))

simplify2.8s

Counts
33 → 80
Calls

33 calls. Slowest were:

559.0ms
(- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3))))
425.0ms
(+ (* 10 (/ k (* (exp (* -1 (* (log (/ 1 k)) m))) a))) (+ (/ (pow k 2) (* (exp (* -1 (* (log (/ 1 k)) m))) a)) (/ 1 (* (exp (* -1 (* (log (/ 1 k)) m))) a))))
328.0ms
(- (+ a (* (log k) (* m a))) (* 10 (* a k)))

prune1.1s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes304.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (a k m)
  :name "Falkner and Boettcher, Appendix A"
  (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))))

Backtrace

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