Error in 30.1s

Runtime

Time bar (total: 30.1s)Debug log

start137.0ms

Algorithm
intervals

setup31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- (+ f n)) (- f n))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
1 → 61
Calls

1 calls. Slowest were:

6.0ms
(/ (- (+ f n)) (- f n))

series219.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

219.0ms
(/ (- (+ f n)) (- f n))

simplify999.0ms

Counts
81 → 64
Calls

81 calls. Slowest were:

163.0ms
(- (- (* f f) (* n n)))
89.0ms
(/ (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (* (* (- f n) (- f n)) (- f n)))
64.0ms
(/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))

prune571.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ (- (- n) f) (- f n)) (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f))))
0.0b
(cbrt (/ (/ (- (- n) f) (- f n)) (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f)))))
0.0b
(/ (- (- n) f) (- f n))
0.0b
(* (/ (- f n) (+ n f)) (/ (- f n) (+ n f)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Counts
4 → 182
Calls

4 calls. Slowest were:

14.0ms
(/ (/ (- (- n) f) (- f n)) (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f))))
11.0ms
(/ (- (- n) f) (- f n))
8.0ms
(* (/ (- f n) (+ n f)) (/ (- f n) (+ n f)))

series289.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

117.0ms
(cbrt (/ (/ (- (- n) f) (- f n)) (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f)))))
68.0ms
(/ (/ (- (- n) f) (- f n)) (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f))))
52.0ms
(/ (- (- n) f) (- f n))

simplify19.4s

Counts
180 → 194
Calls

180 calls. Slowest were:

624.0ms
(* (* (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f))) (/ (- f n) (+ n f))) (* (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f))) (/ (- f n) (+ n f))))
618.0ms
(cbrt (/ (/ (* (cbrt (- (- n) f)) (cbrt (- (- n) f))) (sqrt (- f n))) (/ (- f n) (+ n f))))
417.0ms
(- (- (log (- (- n) f)) (log (- f n))) (+ (log (/ (- f n) (+ n f))) (log (/ (- f n) (+ n f)))))

prune2.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- f n))
0.5b
(cbrt (- f n))
0.5b
(cbrt (- f n))
0.5b
(* (cbrt (- f n)) (cbrt (- f n)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

7.0ms
(* (cbrt (- f n)) (cbrt (- f n)))
1.0ms
(cbrt (- f n))
1.0ms
(cbrt (- f n))

series548.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

143.0ms
(cbrt (- f n))
141.0ms
(cbrt (- f n))
133.0ms
(cbrt (- f n))

simplify2.3s

Counts
59 → 87
Calls

59 calls. Slowest were:

325.0ms
(- (pow n 2/3) (+ (* 1/9 (* (pow (/ 1 (pow n 4)) 1/3) (pow f 2))) (* 2/3 (* (pow (/ 1 n) 1/3) f))))
297.0ms
(- (exp (* 1/3 (+ (log -1) (log n)))) (+ (* 1/9 (* (pow f 2) (exp (* 1/3 (- (log -1) (* 5 (log n))))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log n))))) f))))
245.0ms
(- (exp (* 1/3 (+ (log -1) (log n)))) (+ (* 1/9 (* (pow f 2) (exp (* 1/3 (- (log -1) (* 5 (log n))))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log n))))) f))))

prune1.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes153.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (f n)
  :name "subtraction fraction"
  (/ (- (+ f n)) (- f n)))

Backtrace

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