Error in 46.3s

Runtime

Time bar (total: 46.3s)Debug logProfile

start126.0ms

Algorithm
intervals

setup66.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.4b

localize26.0ms

Local error

Found 3 expressions with local error:

3.2b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
0.0b
(/ (+ x 1) (- x 1))
0.0b
(/ x (+ x 1))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
3 → 62
Calls

3 calls. Slowest were:

6.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
3.0ms
(/ (+ x 1) (- x 1))
0.0ms
(/ x (+ x 1))

series368.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

316.0ms
(/ x (+ x 1))
36.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
16.0ms
(/ (+ x 1) (- x 1))

simplify2.2s

Counts
51 → 71
Calls

51 calls. Slowest were:

475.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
348.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
294.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))

prune626.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

6.2b
(+ (- (/ -3 x) (/ 1 (* x x))) (/ (/ -3 x) (* x x)))
0.3b
(/ 1 (* x x))
0.1b
(/ (/ -3 x) (* x x))
0.0b
(- (/ -3 x) (/ 1 (* x x)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Counts
4 → 74
Calls

4 calls. Slowest were:

35.0ms
(+ (- (/ -3 x) (/ 1 (* x x))) (/ (/ -3 x) (* x x)))
7.0ms
(- (/ -3 x) (/ 1 (* x x)))
5.0ms
(/ (/ -3 x) (* x x))

series96.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

36.0ms
(- (/ -3 x) (/ 1 (* x x)))
24.0ms
(/ (/ -3 x) (* x x))
24.0ms
(+ (- (/ -3 x) (/ 1 (* x x))) (/ (/ -3 x) (* x x)))

simplify3.0s

Counts
47 → 86
Calls

47 calls. Slowest were:

510.0ms
(/ (* (* (/ -3 x) (/ -3 x)) (/ -3 x)) (* (* (* x x) (* x x)) (* x x)))
416.0ms
(* (+ (* (/ -3 x) (/ -3 x)) (+ (* (/ 1 (* x x)) (/ 1 (* x x))) (* (/ -3 x) (/ 1 (* x x))))) (* x x))
295.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))

prune790.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

18.2b
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
0.0b
(/ (- (* x (- x 1)) (* (+ x 1) (+ x 1))) (* (+ x 1) (- x 1)))
0.0b
(* (+ x 1) (+ x 1))
0.0b
(* (+ x 1) (- x 1))

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
4 → 141
Calls

4 calls. Slowest were:

11.0ms
(/ (- (* x (- x 1)) (* (+ x 1) (+ x 1))) (* (+ x 1) (- x 1)))
6.0ms
(* (+ x 1) (+ x 1))
5.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))

series79.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

29.0ms
(* (+ x 1) (- x 1))
25.0ms
(/ (- (* x (- x 1)) (* (+ x 1) (+ x 1))) (* (+ x 1) (- x 1)))
17.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))

simplify25.5s

Counts
140 → 153
Calls

140 calls. Slowest were:

1.1s
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
642.0ms
(/ (exp (* x (- x 1))) (exp (* (+ x 1) (+ x 1))))
587.0ms
(* (+ x 1) (* (+ (* x x) (- (* 1 1) (* x 1))) (+ (* x x) (- (* 1 1) (* x 1)))))

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

14.3b
(/ (- -1 (* 3 x)) (* (+ x 1) (- x 1)))
0.0b
(* (+ x 1) (- x 1))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
2 → 61
Calls

2 calls. Slowest were:

9.0ms
(/ (- -1 (* 3 x)) (* (+ x 1) (- x 1)))
7.0ms
(* (+ x 1) (- x 1))

series56.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

29.0ms
(/ (- -1 (* 3 x)) (* (+ x 1) (- x 1)))
28.0ms
(* (+ x 1) (- x 1))

simplify5.8s

Counts
54 → 67
Calls

54 calls. Slowest were:

1.1s
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
309.0ms
(- (log (- -1 (* 3 x))) (log (* (+ x 1) (- x 1))))
260.0ms
(* (+ (pow x 3) (pow 1 3)) (- (* x x) (* 1 1)))

prune727.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes23.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x)
  :name "Asymptote C"
  (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))

Backtrace

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