Error in 53.3s

Runtime

Time bar (total: 53.3s)Debug log

start481.0ms

Algorithm
intervals

setup14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.7b

localize15.0ms

Local error

Found 3 expressions with local error:

2.0b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
1.5b
(pow (+ 1 x) (/ 1 n))
0.8b
(pow x (/ 1 n))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
3 → 74
Calls

3 calls. Slowest were:

10.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
1.0ms
(pow (+ 1 x) (/ 1 n))
1.0ms
(pow x (/ 1 n))

series385.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

232.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
97.0ms
(pow (+ 1 x) (/ 1 n))
55.0ms
(pow x (/ 1 n))

simplify2.8s

Counts
69 → 83
Calls

69 calls. Slowest were:

627.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
459.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
455.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))

prune870.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.8b

localize8.0ms

Local error

Found 4 expressions with local error:

2.0b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
2.0b
(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))
1.5b
(pow (+ 1 x) (/ 1 n))
0.8b
(pow x (/ 1 n))

rewrite43.0ms

Algorithm
rewrite-expression-head
Counts
4 → 115
Calls

4 calls. Slowest were:

26.0ms
(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))
9.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
3.0ms
(pow (+ 1 x) (/ 1 n))

series617.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

241.0ms
(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))
206.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
103.0ms
(pow (+ 1 x) (/ 1 n))

simplify5.4s

Counts
103 → 127
Calls

103 calls. Slowest were:

577.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
511.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
472.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.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.8b

localize12.0ms

Local error

Found 4 expressions with local error:

2.0b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
2.0b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
2.0b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
2.0b
(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))

rewrite51.0ms

Algorithm
rewrite-expression-head
Counts
4 → 164
Calls

4 calls. Slowest were:

17.0ms
(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))
10.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
10.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))

series808.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

217.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
212.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
198.0ms
(log (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))

simplify7.6s

Counts
184 → 176
Calls

184 calls. Slowest were:

517.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
485.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
475.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))

prune3.5s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 13.8b

localize32.0ms

Local error

Found 4 expressions with local error:

2.1b
(log (* (cbrt (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n))))) (cbrt (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))))
2.0b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
2.0b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
2.0b
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))

rewrite79.0ms

Algorithm
rewrite-expression-head
Counts
4 → 145
Calls

4 calls. Slowest were:

39.0ms
(log (* (cbrt (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n))))) (cbrt (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))))
18.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
10.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))

series918.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

345.0ms
(log (* (cbrt (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n))))) (cbrt (exp (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))))
201.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
188.0ms
(- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))

simplify6.8s

Counts
162 → 157
Calls

162 calls. Slowest were:

607.0ms
(- (+ (* 2/3 (/ (log -1) (* x (pow n 2)))) (* 2/3 (/ 1 (* x n)))) (+ (* 1/3 (/ 1 (* (pow x 2) n))) (* 2/3 (/ (log (/ -1 x)) (* x (pow n 2))))))
494.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
460.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))

prune3.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 13.8b

regimes503.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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.728842121230816 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