Error in 1.9m

Runtime

Time bar (total: 1.9m)Debug logProfile

start520.0ms

Algorithm
intervals

setup486.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))
0.2b
(* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)
0.1b
(sqrt (* 9 (- a (/ 1.0 3.0))))
0.1b
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 73
Calls

4 calls. Slowest were:

4.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))
3.0ms
(* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)
2.0ms
(/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))

series183.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

76.0ms
(* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)
51.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))
34.0ms
(/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))

simplify7.2s

Counts
50 → 85
Calls

50 calls. Slowest were:

618.0ms
(* (+ a (/ 1.0 3.0)) (+ (* 1 1) (- (* (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand) (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)) (* 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))))
545.0ms
(* (* (* (- a (/ 1.0 3.0)) (- a (/ 1.0 3.0))) (- a (/ 1.0 3.0))) (* (* (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand))) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand))))
421.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0))))
0.2b
(* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)
0.1b
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))
0.0b
(sqrt (- a (/ 1.0 3.0)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Counts
4 → 130
Calls

4 calls. Slowest were:

12.0ms
(* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)
9.0ms
(/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0))))
7.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))

series213.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

80.0ms
(* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)
58.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))
50.0ms
(/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0))))

simplify7.9s

Counts
131 → 142
Calls

131 calls. Slowest were:

754.0ms
(* (+ a (/ 1.0 3.0)) (- 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))
723.0ms
(+ (* 1 1) (- (* (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand) (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)) (* 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))
616.0ms
(* (- (pow a 3) (pow (/ 1.0 3.0) 3)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))

prune2.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize6.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (- a (/ 1.0 3.0))) (* (sqrt (- a (/ 1.0 3.0))) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand))))
0.2b
(/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))
0.2b
(* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)
0.1b
(sqrt (* 9 (- a (/ 1.0 3.0))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 97
Calls

4 calls. Slowest were:

12.0ms
(* (sqrt (- a (/ 1.0 3.0))) (* (sqrt (- a (/ 1.0 3.0))) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand))))
3.0ms
(* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)
2.0ms
(/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))

series211.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

83.0ms
(* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)
54.0ms
(* (sqrt (- a (/ 1.0 3.0))) (* (sqrt (- a (/ 1.0 3.0))) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand))))
39.0ms
(/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))

simplify15.6s

Counts
86 → 109
Calls

86 calls. Slowest were:

559.0ms
(* (sqrt (+ a (/ 1.0 3.0))) (* (sqrt (+ a (/ 1.0 3.0))) (- 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand))))
559.0ms
(* (* (sqrt (- a (/ 1.0 3.0))) (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)) (sqrt (- a (/ 1.0 3.0))))
530.0ms
(/ 1 (sqrt (* 9 (- (pow a 3) (pow (/ 1.0 3.0) 3)))))

prune2.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))
0.5b
(cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))
0.5b
(cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))
0.4b
(* (cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))) (cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 155
Calls

4 calls. Slowest were:

21.0ms
(* (cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))) (cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))))
4.0ms
(cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))
4.0ms
(cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))

series620.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

179.0ms
(* (cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))) (cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))))
162.0ms
(cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))
143.0ms
(cbrt (* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))

simplify50.3s

Counts
199 → 167
Calls

199 calls. Slowest were:

1.1s
(* (cbrt (+ (* a a) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* a (/ 1.0 3.0))))) (cbrt (+ (* 1 1) (- (* (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand) (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)) (* 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))))
984.0ms
(* (cbrt (+ (* 1 1) (- (* (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand) (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)) (* 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))) (cbrt (* (+ a (/ 1.0 3.0)) (- 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))))
911.0ms
(* (cbrt (+ a (/ 1.0 3.0))) (cbrt (+ (* 1 1) (- (* (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand) (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)) (* 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand))))))

prune5.3s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes233.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (a rand)
  :name "Octave 3.8, oct_fill_randg"
  (* (- a (/ 1.0 3.0)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand))))

Backtrace

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