Error in 35.0s

Runtime

Time bar (total: 35.0s)Debug logProfile

start3.0ms

Algorithm
sampled

setup14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.4b

localize0.0ms

Local error

Found 2 expressions with local error:

7.5b
(- (/ x0 (- 1 x1)) x0)
1.0b
(/ x0 (- 1 x1))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
2 → 26
Calls

2 calls. Slowest were:

8.0ms
(- (/ x0 (- 1 x1)) x0)
1.0ms
(/ x0 (- 1 x1))

series54.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

32.0ms
(- (/ x0 (- 1 x1)) x0)
22.0ms
(/ x0 (- 1 x1))

simplify681.0ms

Counts
11 → 32
Calls

11 calls. Slowest were:

364.0ms
(+ (* x0 (pow x1 3)) (+ (* x0 (pow x1 2)) (* x0 x1)))
76.0ms
(- (+ (/ x0 (pow x1 3)) (+ (/ x0 (pow x1 2)) (/ x0 x1))))
63.0ms
(+ x0 (+ (* x0 x1) (* x0 (pow x1 2))))

prune43.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.3b

localize0.0ms

Local error

Found 1 expressions with local error:

7.5b
(- (/ 1 (/ (- 1 x1) x0)) x0)

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
1 → 11
Calls

1 calls. Slowest were:

3.0ms
(- (/ 1 (/ (- 1 x1) x0)) x0)

series16.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

16.0ms
(- (/ 1 (/ (- 1 x1) x0)) x0)

simplify427.0ms

Counts
3 → 14
Calls

3 calls. Slowest were:

323.0ms
(+ (* x0 (pow x1 3)) (+ (* x0 (pow x1 2)) (* x0 x1)))
63.0ms
(- (+ x0 (+ (/ x0 x1) (/ x0 (pow x1 2)))))
40.0ms
(- (+ x0 (+ (/ x0 x1) (/ x0 (pow x1 2)))))

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.1b

localize1.0ms

Local error

Found 4 expressions with local error:

5.4b
(- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))
1.3b
(pow (/ 1 (/ (- 1 x1) x0)) 3)
0.5b
(/ (- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3)) (+ (* (/ 1 (/ (- 1 x1) x0)) (/ 1 (/ (- 1 x1) x0))) (+ (* x0 x0) (* (/ 1 (/ (- 1 x1) x0)) x0))))
0.5b
(* (/ 1 (/ (- 1 x1) x0)) (/ 1 (/ (- 1 x1) x0)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Counts
4 → 151
Calls

4 calls. Slowest were:

27.0ms
(/ (- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3)) (+ (* (/ 1 (/ (- 1 x1) x0)) (/ 1 (/ (- 1 x1) x0))) (+ (* x0 x0) (* (/ 1 (/ (- 1 x1) x0)) x0))))
9.0ms
(* (/ 1 (/ (- 1 x1) x0)) (/ 1 (/ (- 1 x1) x0)))
6.0ms
(- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))

series141.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

60.0ms
(/ (- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3)) (+ (* (/ 1 (/ (- 1 x1) x0)) (/ 1 (/ (- 1 x1) x0))) (+ (* x0 x0) (* (/ 1 (/ (- 1 x1) x0)) x0))))
37.0ms
(- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))
26.0ms
(* (/ 1 (/ (- 1 x1) x0)) (/ 1 (/ (- 1 x1) x0)))

simplify25.3s

Counts
161 → 163
Calls

161 calls. Slowest were:

776.0ms
(/ (- (/ 1 (/ (- 1 x1) x0)) x0) (+ (* (/ 1 (/ (- 1 x1) x0)) (/ 1 (/ (- 1 x1) x0))) (+ (* x0 x0) (* (/ 1 (/ (- 1 x1) x0)) x0))))
592.0ms
(* (* (/ (- 1 x1) x0) (/ (- 1 x1) x0)) (- (* x0 x0) (* (/ 1 (/ (- 1 x1) x0)) x0)))
529.0ms
(/ (sqrt (- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))) (cbrt (+ (* (/ 1 (/ (- 1 x1) x0)) (/ 1 (/ (- 1 x1) x0))) (+ (* x0 x0) (* (/ 1 (/ (- 1 x1) x0)) x0)))))

prune652.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.1b

localize1.0ms

Local error

Found 4 expressions with local error:

5.4b
(- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))
5.4b
(- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))
5.4b
(+ (pow (/ x0 (- 1 x1)) 3) (* (- x0) (* x0 x0)))
1.3b
(pow (/ x0 (- 1 x1)) 3)

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
4 → 77
Calls

4 calls. Slowest were:

9.0ms
(+ (pow (/ x0 (- 1 x1)) 3) (* (- x0) (* x0 x0)))
6.0ms
(- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))
6.0ms
(- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))

series148.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

47.0ms
(- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))
37.0ms
(+ (pow (/ x0 (- 1 x1)) 3) (* (- x0) (* x0 x0)))
34.0ms
(- (pow (/ 1 (/ (- 1 x1) x0)) 3) (pow x0 3))

simplify6.4s

Counts
59 → 89
Calls

59 calls. Slowest were:

774.0ms
(+ (* (/ 1 (/ (- 1 x1) x0)) (/ 1 (/ (- 1 x1) x0))) (+ (* x0 x0) (* (/ 1 (/ (- 1 x1) x0)) x0)))
348.0ms
(- (+ (/ (pow x0 3) (pow x1 3)) (+ (* 3 (/ (pow x0 3) (pow x1 4))) (pow x0 3))))
296.0ms
(+ (* 3 (* (pow x0 3) x1)) (+ (* 6 (* (pow x0 3) (pow x1 2))) (pow x0 3)))

prune886.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 4.8b

regimes32.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x0 x1)
  :name "(- (/ x0 (- 1 x1)) x0)"
  :pre (or (and (== x0 1.855) (== x1 0.000209)) (and (== x0 2.985) (== x1 0.0186)))

  :herbie-target
  (/ (* x0 x1) (- 1 x1))

  (- (/ x0 (- 1 x1)) x0))

Backtrace

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