Error in 36.0s

Runtime

Time bar (total: 36.0s)Debug logProfile

start99.0ms

Algorithm
intervals

setup23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.8b

localize22.0ms

Local error

Found 3 expressions with local error:

3.3b
(- (cbrt (+ 1 x)) (cbrt x))
0.6b
(cbrt x)
0.3b
(cbrt (+ 1 x))

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
3 → 36
Calls

3 calls. Slowest were:

11.0ms
(- (cbrt (+ 1 x)) (cbrt x))
1.0ms
(cbrt (+ 1 x))
0.0ms
(cbrt x)

series446.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

292.0ms
(cbrt x)
117.0ms
(- (cbrt (+ 1 x)) (cbrt x))
37.0ms
(cbrt (+ 1 x))

simplify1.0s

Counts
20 → 45
Calls

20 calls. Slowest were:

332.0ms
(- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (+ (* (pow (* x -1) 1/3) (cbrt -1)) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))))
238.0ms
(- (+ (* 1/3 x) 1) (+ (* 1/9 (pow x 2)) (pow x 1/3)))
173.0ms
(- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2))))

prune461.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.5b

localize11.0ms

Local error

Found 4 expressions with local error:

3.3b
(- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (cbrt (+ 1 x)))) (cbrt x))
0.6b
(cbrt x)
0.3b
(cbrt (+ 1 x))
0.3b
(cbrt (+ 1 x))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 48
Calls

4 calls. Slowest were:

15.0ms
(- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (cbrt (+ 1 x)))) (cbrt x))
0.0ms
(cbrt (+ 1 x))
0.0ms
(cbrt (+ 1 x))

series515.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

332.0ms
(cbrt x)
104.0ms
(- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (cbrt (+ 1 x)))) (cbrt x))
41.0ms
(cbrt (+ 1 x))

simplify1.4s

Counts
26 → 60
Calls

26 calls. Slowest were:

299.0ms
(- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (+ (* (pow (* x -1) 1/3) (cbrt -1)) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))))
268.0ms
(- (+ (* 1/3 x) 1) (+ (* 1/9 (pow x 2)) (pow x 1/3)))
237.0ms
(- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2))))

prune741.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.5b

localize34.0ms

Local error

Found 4 expressions with local error:

4.2b
(- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x)))))) (cbrt x))
0.6b
(cbrt x)
0.3b
(cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x))))))
0.3b
(cbrt (+ 1 x))

rewrite190.0ms

Algorithm
rewrite-expression-head
Counts
4 → 286
Calls

4 calls. Slowest were:

99.0ms
(- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x)))))) (cbrt x))
59.0ms
(cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x))))))
1.0ms
(cbrt (+ 1 x))

series501.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

313.0ms
(cbrt x)
108.0ms
(- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x)))))) (cbrt x))
43.0ms
(cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x))))))

simplify14.9s

Counts
264 → 298
Calls

264 calls. Slowest were:

463.0ms
(cbrt (* (* (cbrt (- (* 1 1) (* x x))) (cbrt (+ (pow 1 3) (pow x 3)))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (- (* 1 1) (* x x))))) (cbrt (cbrt (+ (pow 1 3) (pow x 3)))))))
314.0ms
(- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (+ (* (pow (* x -1) 1/3) (cbrt -1)) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))))
267.0ms
(- (+ (* 1/3 x) 1) (+ (* 1/9 (pow x 2)) (pow x 1/3)))

prune7.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.5b

localize12.0ms

Local error

Found 4 expressions with local error:

8.9b
(log (- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x)))))) (cbrt x)))
4.2b
(- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x)))))) (cbrt x))
0.6b
(cbrt x)
0.3b
(cbrt (+ 1 x))

rewrite180.0ms

Algorithm
rewrite-expression-head
Counts
4 → 51
Calls

4 calls. Slowest were:

106.0ms
(log (- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x)))))) (cbrt x)))
71.0ms
(- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x)))))) (cbrt x))
1.0ms
(cbrt (+ 1 x))

series595.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

299.0ms
(cbrt x)
151.0ms
(log (- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x)))))) (cbrt x)))
112.0ms
(- (cbrt (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (cbrt (+ 1 x)))))) (cbrt x))

simplify1.8s

Counts
29 → 63
Calls

29 calls. Slowest were:

295.0ms
(- (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x))) (+ (* (pow (* x -1) 1/3) (cbrt -1)) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))))
230.0ms
(- (+ (* 1/3 x) 1) (+ (* 1/9 (pow x 2)) (pow x 1/3)))
229.0ms
(- (+ (log (* 1/3 (pow x 1/3))) (+ (log (/ 1 x)) (* 7/54 (/ 1 (pow x 2))))) (* 1/3 (/ 1 x)))

prune1.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 2.1b

regimes104.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x)
  :name "2cbrt (problem 3.3.4)"
  (- (cbrt (+ x 1)) (cbrt x)))

Backtrace

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