Error in 31.3s

Runtime

Time bar (total: 31.3s)Debug log

start143.0ms

Algorithm
intervals

setup187.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
1 → 63
Calls

1 calls. Slowest were:

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

series77.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

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

simplify1.1s

Counts
81 → 66
Calls

81 calls. Slowest were:

207.0ms
(- (- (* f f) (* n n)))
98.0ms
(/ (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (* (* (- f n) (- f n)) (- f n)))
71.0ms
(/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))

prune860.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize31.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)))

rewrite75.0ms

Algorithm
rewrite-expression-head
Counts
4 → 190
Calls

4 calls. Slowest were:

27.0ms
(/ (/ (- (- n) f) (- f n)) (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f))))
15.0ms
(* (/ (- f n) (+ n f)) (/ (- f n) (+ n f)))
15.0ms
(/ (- (- n) f) (- f n))

series316.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

124.0ms
(cbrt (/ (/ (- (- n) f) (- f n)) (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f)))))
76.0ms
(/ (/ (- (- n) f) (- f n)) (* (/ (- f n) (+ n f)) (/ (- f n) (+ n f))))
61.0ms
(* (/ (- f n) (+ n f)) (/ (- f n) (+ n f)))

simplify20.7s

Counts
180 → 202
Calls

180 calls. Slowest were:

646.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))))
531.0ms
(* (- f n) (/ (- f n) (+ n f)))
521.0ms
(- (- (log (- (- n) f)) (log (- f n))) (+ (log (/ (- f n) (+ n f))) (- (log (- f n)) (log (+ n f)))))

prune2.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize29.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)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 83
Calls

4 calls. Slowest were:

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

series1.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

536.0ms
(cbrt (- f n))
171.0ms
(cbrt (- f n))
164.0ms
(cbrt (- f n))

simplify2.0s

Counts
59 → 95
Calls

59 calls. Slowest were:

187.0ms
(exp (* 1/3 (- (log -1) (log (/ -1 f)))))
170.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))))
149.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.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes109.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(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