Error in 15.6s

Runtime

Time bar (total: 15.6s)Debug logProfile

start91.0ms

Algorithm
intervals

setup39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 3 expressions with local error:

3.9b
(/ x (/ y z))
0.0b
(- (/ (+ 4 x) y) (/ x (/ y z)))
0.0b
(/ (+ 4 x) y)

rewrite353.0ms

Algorithm
rewrite-expression-head
Counts
3 → 45
Calls

3 calls. Slowest were:

342.0ms
(/ (+ 4 x) y)
10.0ms
(- (/ (+ 4 x) y) (/ x (/ y z)))
1.0ms
(/ x (/ y z))

series97.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

44.0ms
(- (/ (+ 4 x) y) (/ x (/ y z)))
29.0ms
(/ x (/ y z))
24.0ms
(/ (+ 4 x) y)

simplify450.0ms

Counts
23 → 54
Calls

23 calls. Slowest were:

77.0ms
(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))
56.0ms
(- (* (+ 4 x) (/ y z)) (* y x))
54.0ms
(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))

prune699.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

3.9b
(/ x (/ y z))
0.0b
(- (+ (/ x y) (/ 4 y)) (/ x (/ y z)))
0.0b
(+ (/ x y) (/ 4 y))

rewrite38.0ms

Algorithm
rewrite-expression-head
Counts
3 → 49
Calls

3 calls. Slowest were:

30.0ms
(- (+ (/ x y) (/ 4 y)) (/ x (/ y z)))
7.0ms
(+ (/ x y) (/ 4 y))
0.0ms
(/ x (/ y z))

series85.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

42.0ms
(- (+ (/ x y) (/ 4 y)) (/ x (/ y z)))
28.0ms
(/ x (/ y z))
15.0ms
(+ (/ x y) (/ 4 y))

simplify1.7s

Counts
32 → 58
Calls

32 calls. Slowest were:

298.0ms
(- (* (+ (* x y) (* y 4)) (/ y z)) (* (* y y) x))
278.0ms
(- (* (+ (pow (/ x y) 3) (pow (/ 4 y) 3)) (/ y z)) (* (+ (* (/ x y) (/ x y)) (- (* (/ 4 y) (/ 4 y)) (* (/ x y) (/ 4 y)))) x))
192.0ms
(- (* (- (* (/ x y) (/ x y)) (* (/ 4 y) (/ 4 y))) (/ y z)) (* (- (/ x y) (/ 4 y)) x))

prune758.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

3.9b
(* x (/ 1 (/ y z)))
0.5b
(/ 1 (/ y z))
0.0b
(- (+ (/ x y) (/ 4 y)) (* x (/ 1 (/ y z))))
0.0b
(+ (/ x y) (/ 4 y))

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
4 → 67
Calls

4 calls. Slowest were:

38.0ms
(- (+ (/ x y) (/ 4 y)) (* x (/ 1 (/ y z))))
6.0ms
(+ (/ x y) (/ 4 y))
2.0ms
(* x (/ 1 (/ y z)))

series91.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

39.0ms
(- (+ (/ x y) (/ 4 y)) (* x (/ 1 (/ y z))))
22.0ms
(+ (/ x y) (/ 4 y))
22.0ms
(* x (/ 1 (/ y z)))

simplify2.7s

Counts
44 → 79
Calls

44 calls. Slowest were:

334.0ms
(- (* (+ (pow (/ x y) 3) (pow (/ 4 y) 3)) (/ y z)) (* (+ (* (/ x y) (/ x y)) (- (* (/ 4 y) (/ 4 y)) (* (/ x y) (/ 4 y)))) (* x 1)))
321.0ms
(- (* (+ (* x y) (* y 4)) (/ y z)) (* (* y y) (* x 1)))
267.0ms
(- (* (+ (* x y) (* y 4)) (/ y z)) (* (* y y) x))

prune896.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

3.9b
(* x (/ z y))
0.0b
(- (+ (/ x y) (/ 4 y)) (* x (/ z y)))
0.0b
(+ (/ x y) (/ 4 y))

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
3 → 44
Calls

3 calls. Slowest were:

21.0ms
(- (+ (/ x y) (/ 4 y)) (* x (/ z y)))
7.0ms
(+ (/ x y) (/ 4 y))
1.0ms
(* x (/ z y))

series85.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

39.0ms
(- (+ (/ x y) (/ 4 y)) (* x (/ z y)))
29.0ms
(+ (/ x y) (/ 4 y))
18.0ms
(* x (/ z y))

simplify1.7s

Counts
28 → 53
Calls

28 calls. Slowest were:

417.0ms
(- (* (+ (pow (/ x y) 3) (pow (/ 4 y) 3)) y) (* (+ (* (/ x y) (/ x y)) (- (* (/ 4 y) (/ 4 y)) (* (/ x y) (/ 4 y)))) (* x z)))
292.0ms
(- (* (+ (* x y) (* y 4)) y) (* (* y y) (* x z)))
234.0ms
(- (* (- (* (/ x y) (/ x y)) (* (/ 4 y) (/ 4 y))) y) (* (- (/ x y) (/ 4 y)) (* x z)))

prune639.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes210.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x y z)
  :name "fabs fraction 1"
  (fabs (- (/ (+ x 4) y) (* (/ x y) z))))

Backtrace

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