Error in 38.6s

Runtime

Time bar (total: 38.6s)Debug logProfile

start90.0ms

Algorithm
intervals

setup104.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.4b

localize18.0ms

Local error

Found 4 expressions with local error:

2.1b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
0.0b
(- (/ 1 (+ x 1)) (/ 2 x))
0.0b
(/ 1 (+ x 1))
0.0b
(/ 1 (- x 1))

rewrite46.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

32.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
9.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
2.0ms
(/ 1 (+ x 1))

series101.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

61.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
18.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
11.0ms
(/ 1 (- x 1))

simplify3.4s

Counts
48 → 88
Calls

48 calls. Slowest were:

435.0ms
(* (+ (/ 1 (+ x 1)) (/ 2 x)) (- x 1))
356.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 3)) (* 2 (/ 1 x)))))
332.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))

prune915.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

16.9b
(+ (- (/ (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ x 1))) (/ 2 x)) (/ 1 (- x 1)))
0.3b
(cbrt (+ x 1))
0.3b
(cbrt (+ x 1))
0.3b
(cbrt (+ x 1))

rewrite235.0ms

Algorithm
rewrite-expression-head
Counts
4 → 61
Calls

4 calls. Slowest were:

230.0ms
(+ (- (/ (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ x 1))) (/ 2 x)) (/ 1 (- x 1)))
1.0ms
(cbrt (+ x 1))
1.0ms
(cbrt (+ x 1))

series188.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

62.0ms
(+ (- (/ (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ x 1))) (/ 2 x)) (/ 1 (- x 1)))
54.0ms
(cbrt (+ x 1))
38.0ms
(cbrt (+ x 1))

simplify3.9s

Counts
42 → 73
Calls

42 calls. Slowest were:

570.0ms
(* (+ (* (/ (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ x 1))) (/ (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ x 1)))) (+ (* (/ 2 x) (/ 2 x)) (* (/ (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ x 1))) (/ 2 x)))) (- x 1))
479.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 3)) (* 2 (/ 1 x)))))
455.0ms
(+ (* (- (* (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) x) (* (cbrt (+ x 1)) 2)) (- x 1)) (* (* (cbrt (+ x 1)) x) 1))

prune969.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 4 expressions with local error:

25.9b
(+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x))))
13.8b
(/ (+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x)))) (* (* (cbrt (+ x 1)) x) (- x 1)))
0.3b
(cbrt (+ x 1))
0.3b
(cbrt (+ x 1))

rewrite105.0ms

Algorithm
rewrite-expression-head
Counts
4 → 110
Calls

4 calls. Slowest were:

84.0ms
(/ (+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x)))) (* (* (cbrt (+ x 1)) x) (- x 1)))
17.0ms
(+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x))))
1.0ms
(cbrt (+ x 1))

series604.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

405.0ms
(/ (+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x)))) (* (* (cbrt (+ x 1)) x) (- x 1)))
110.0ms
(+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x))))
52.0ms
(cbrt (+ x 1))

simplify17.0s

Counts
106 → 122
Calls

106 calls. Slowest were:

738.0ms
(+ (* (* x (+ -1 x)) (* (cbrt (- x 1)) (cbrt (+ (* x x) (- (* 1 1) (* x 1)))))) (* (* (cbrt (+ x 1)) (cbrt (+ x 1))) (+ (* (* (cbrt (- (* x x) (* 1 1))) 2) (cbrt (+ (* x x) (- (* 1 1) (* x 1))))) (* (cbrt (- x 1)) (* (cbrt (+ (pow x 3) (pow 1 3))) (- x))))))
485.0ms
(/ (* (* (+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x)))) (+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x))))) (+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x))))) (* (* (* (* (cbrt (+ x 1)) x) (* (cbrt (+ x 1)) x)) (* (cbrt (+ x 1)) x)) (* (* (- x 1) (- x 1)) (- x 1))))
480.0ms
(/ (* (* (+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x)))) (+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x))))) (+ (* (/ x (cbrt (+ x 1))) (/ (+ -1 x) (cbrt (+ x 1)))) (+ (* (cbrt (+ x 1)) 2) (* (cbrt (+ x 1)) (- x))))) (* (* (* (* (cbrt (+ x 1)) x) (- x 1)) (* (* (cbrt (+ x 1)) x) (- x 1))) (* (* (cbrt (+ x 1)) x) (- x 1))))

prune2.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 2 (pow x 5))
0.1b
(/ (/ 2 x) (* x x))
0.0b
(/ 2 (pow x 7))
0.0b
(+ (+ (/ 2 (pow x 7)) (/ 2 (pow x 5))) (/ (/ 2 x) (* x x)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

27.0ms
(+ (+ (/ 2 (pow x 7)) (/ 2 (pow x 5))) (/ (/ 2 x) (* x x)))
3.0ms
(/ (/ 2 x) (* x x))
0.0ms
(/ 2 (pow x 5))

series81.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

24.0ms
(+ (+ (/ 2 (pow x 7)) (/ 2 (pow x 5))) (/ (/ 2 x) (* x x)))
22.0ms
(/ 2 (pow x 7))
18.0ms
(/ 2 (pow x 5))

simplify1.9s

Counts
41 → 78
Calls

41 calls. Slowest were:

504.0ms
(/ (* (* (/ 2 x) (/ 2 x)) (/ 2 x)) (* (* (* x x) (* x x)) (* x x)))
266.0ms
(+ (* (+ (* 2 (pow x 5)) (* (pow x 7) 2)) (* x x)) (* (* (pow x 7) (pow x 5)) (/ 2 x)))
205.0ms
(+ (* (+ (pow (/ 2 (pow x 7)) 3) (pow (/ 2 (pow x 5)) 3)) (* x x)) (* (+ (* (/ 2 (pow x 7)) (/ 2 (pow x 7))) (- (* (/ 2 (pow x 5)) (/ 2 (pow x 5))) (* (/ 2 (pow x 7)) (/ 2 (pow x 5))))) (/ 2 x)))

prune934.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes75.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x)
  :name "3frac (problem 3.3.3)"

  :herbie-target
  (/ 2 (* x (- (* x x) 1)))

  (+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1))))

Backtrace

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