Error in 33.9s

Runtime

Time bar (total: 33.9s)Debug logProfile

start454.0ms

Algorithm
intervals

setup15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.9b

localize63.0ms

Local error

Found 3 expressions with local error:

1.0b
(pow (+ 1 x) (/ 1 n))
0.7b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
0.3b
(pow x (/ 1 n))

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
3 → 44
Calls

3 calls. Slowest were:

15.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
3.0ms
(pow (+ 1 x) (/ 1 n))
1.0ms
(pow x (/ 1 n))

series364.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

213.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
99.0ms
(pow (+ 1 x) (/ 1 n))
52.0ms
(pow x (/ 1 n))

simplify1.7s

Counts
28 → 53
Calls

28 calls. Slowest were:

679.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
300.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
284.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))

prune718.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 24.2b

localize14.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (+ x 1) (/ 1 n))
0.7b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
0.7b
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
0.3b
(pow x (/ 1 n))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

23.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
15.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.0ms
(pow (+ x 1) (/ 1 n))

series542.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

224.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
177.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
72.0ms
(pow (+ x 1) (/ 1 n))

simplify2.8s

Counts
44 → 77
Calls

44 calls. Slowest were:

710.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
600.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
314.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))

prune1.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 24.2b

localize22.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (+ x 1) (/ 1 n))
1.0b
(pow (+ x 1) (/ 1 n))
1.0b
(pow (+ x 1) (/ 1 n))
0.7b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

11.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
4.0ms
(pow (+ x 1) (/ 1 n))
3.0ms
(pow (+ x 1) (/ 1 n))

series427.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

201.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
81.0ms
(pow (+ x 1) (/ 1 n))
77.0ms
(pow (+ x 1) (/ 1 n))

simplify3.0s

Counts
45 → 78
Calls

45 calls. Slowest were:

704.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
686.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
648.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 24.2b

localize26.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (+ x 1) (/ 1 n))
1.0b
(pow (+ x 1) (/ 1 n))
1.0b
(pow (+ x 1) (/ 1 n))
0.7b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

17.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
4.0ms
(pow (+ x 1) (/ 1 n))
3.0ms
(pow (+ x 1) (/ 1 n))

series435.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

191.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
103.0ms
(pow (+ x 1) (/ 1 n))
77.0ms
(pow (+ x 1) (/ 1 n))

simplify2.7s

Counts
45 → 78
Calls

45 calls. Slowest were:

609.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
590.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
576.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))

prune1.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 24.2b

regimes367.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x n)
  :name "2nthrt (problem 3.4.6)"
  (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))))

Backtrace

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