Error in 42.2s

Runtime

Time bar (total: 42.2s)Debug logProfile

start413.0ms

Algorithm
intervals

setup15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.9b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
3 → 74
Calls

3 calls. Slowest were:

25.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.0ms
(pow (+ x 1) (/ 1 n))
1.0ms
(pow x (/ 1 n))

series388.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

223.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
89.0ms
(pow x (/ 1 n))
76.0ms
(pow (+ x 1) (/ 1 n))

simplify2.9s

Counts
69 → 83
Calls

69 calls. Slowest were:

659.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
404.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
389.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

8 alts after pruning (8 fresh and 0 done)

Merged error: 20.5b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm
rewrite-expression-head
Counts
4 → 115
Calls

4 calls. Slowest were:

37.0ms
(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))
20.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
3.0ms
(pow (+ 1 x) (/ 1 n))

series585.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

229.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
226.0ms
(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))
69.0ms
(pow (+ 1 x) (/ 1 n))

simplify5.6s

Counts
103 → 127
Calls

103 calls. Slowest were:

655.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
506.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
502.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))

prune1.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 20.5b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
4 → 98
Calls

4 calls. Slowest were:

17.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
2.0ms
(pow (+ 1 x) (/ 1 n))
2.0ms
(pow (+ 1 x) (/ 1 n))

series468.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

231.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
84.0ms
(pow (+ 1 x) (/ 1 n))
80.0ms
(pow (+ 1 x) (/ 1 n))

simplify3.8s

Counts
86 → 110
Calls

86 calls. Slowest were:

668.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
665.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
490.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))

prune2.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 20.5b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Counts
4 → 98
Calls

4 calls. Slowest were:

11.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
2.0ms
(pow (+ 1 x) (/ 1 n))
2.0ms
(pow (+ 1 x) (/ 1 n))

series461.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

226.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
86.0ms
(pow (+ 1 x) (/ 1 n))
81.0ms
(pow (+ 1 x) (/ 1 n))

simplify4.2s

Counts
86 → 110
Calls

86 calls. Slowest were:

770.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
720.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
574.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))

prune2.0s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 20.5b

regimes388.0ms

Please include this information when filing a bug report:

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