Error in 21.4s

Runtime

Time bar (total: 21.4s)Debug log

start56.0ms

Algorithm
intervals

setup91.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
3 → 56
Calls

3 calls. Slowest were:

13.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
5.0ms
(/ (+ x 4) y)
5.0ms
(* (/ x y) z)

series100.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

44.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
33.0ms
(* (/ x y) z)
23.0ms
(/ (+ x 4) y)

simplify1.4s

Counts
31 → 65
Calls

31 calls. Slowest were:

253.0ms
(fma (+ x 4) (/ 1 y) (- (* z (/ x y))))
199.0ms
(- (* (+ x 4) y) (* y (* x z)))
129.0ms
(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))

prune795.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
3 → 75
Calls

3 calls. Slowest were:

6.0ms
(- (/ (+ 4 x) y) (/ z (/ y x)))
2.0ms
(/ (+ 4 x) y)
0.0ms
(/ z (/ y x))

series93.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

48.0ms
(- (/ (+ 4 x) y) (/ z (/ y x)))
23.0ms
(/ (+ 4 x) y)
21.0ms
(/ z (/ y x))

simplify5.0s

Counts
66 → 84
Calls

66 calls. Slowest were:

275.0ms
(fma 1 (/ (+ 4 x) y) (- (* (/ 1 (/ y x)) z)))
246.0ms
(fma (+ 4 x) (/ 1 y) (- (* x (/ z y))))
229.0ms
(fma (* (cbrt (/ (+ 4 x) y)) (cbrt (/ (+ 4 x) y))) (cbrt (/ (+ 4 x) y)) (- (* (/ 1 (/ y x)) z)))

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
2 → 39
Calls

2 calls. Slowest were:

8.0ms
(/ (- (+ x 4) (* x z)) y)
4.0ms
(- (+ x 4) (* x z))

series48.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

34.0ms
(/ (- (+ x 4) (* x z)) y)
13.0ms
(- (+ x 4) (* x z))

simplify1.4s

Counts
20 → 45
Calls

20 calls. Slowest were:

401.0ms
(sqrt (- (+ x 4) (* x z)))
257.0ms
(- (pow (+ x 4) 3) (pow (* x z) 3))
154.0ms
(- (* (+ x 4) (+ x 4)) (* (* x z) (* x z)))

prune543.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
3 → 75
Calls

3 calls. Slowest were:

6.0ms
(- (/ (+ 4 x) y) (/ x (/ y z)))
2.0ms
(/ (+ 4 x) y)
0.0ms
(/ x (/ y z))

series63.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

33.0ms
(- (/ (+ 4 x) y) (/ x (/ y z)))
15.0ms
(/ x (/ y z))
14.0ms
(/ (+ 4 x) y)

simplify5.2s

Counts
66 → 84
Calls

66 calls. Slowest were:

269.0ms
(fma 1 (/ (+ 4 x) y) (- (* (/ 1 (/ y z)) x)))
241.0ms
(fma (+ 4 x) (/ 1 y) (- (* z (/ x y))))
238.0ms
(fma (+ 4 x) (/ 1 y) (- (* (/ x (/ y z)) 1)))

prune905.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes148.0ms

Please include this information when filing a bug report:

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

Backtrace

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