Error in 37.5s

Runtime

Time bar (total: 37.5s)Debug log

start503.0ms

Algorithm
intervals

setup269.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize29.0ms

Local error

Found 4 expressions with local error:

0.4b
(sqrt (* 9 (- a (/ 1.0 3.0))))
0.3b
(/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0)))))
0.1b
(fma (/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0))))) rand (- a (/ 1.0 3.0)))
0.0b
(* 9 (- a (/ 1.0 3.0)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

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

series135.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

48.0ms
(fma (/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0))))) rand (- a (/ 1.0 3.0)))
35.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0)))))
29.0ms
(* 9 (- a (/ 1.0 3.0)))

simplify3.9s

Counts
61 → 92
Calls

61 calls. Slowest were:

591.0ms
(sqrt (* 9 (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
459.0ms
(sqrt (* 9 (- (pow a 3) (pow (/ 1.0 3.0) 3))))
289.0ms
(/ (* (* (- a (/ 1.0 3.0)) (- a (/ 1.0 3.0))) (- a (/ 1.0 3.0))) (* (* (sqrt (* 9 (- a (/ 1.0 3.0)))) (sqrt (* 9 (- a (/ 1.0 3.0))))) (sqrt (* 9 (- a (/ 1.0 3.0))))))

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (sqrt (- a (/ 1.0 3.0))) 3)
0.1b
(fma (* (/ (sqrt (- a (/ 1.0 3.0))) 3) 1) rand (- a (/ 1.0 3.0)))
0.0b
(sqrt (- a (/ 1.0 3.0)))
0.0b
(- a (/ 1.0 3.0))

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
4 → 59
Calls

4 calls. Slowest were:

4.0ms
(/ (sqrt (- a (/ 1.0 3.0))) 3)
1.0ms
(sqrt (- a (/ 1.0 3.0)))
0.0ms
(- a (/ 1.0 3.0))

series127.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

48.0ms
(fma (* (/ (sqrt (- a (/ 1.0 3.0))) 3) 1) rand (- a (/ 1.0 3.0)))
34.0ms
(sqrt (- a (/ 1.0 3.0)))
25.0ms
(/ (sqrt (- a (/ 1.0 3.0))) 3)

simplify1.5s

Counts
25 → 71
Calls

25 calls. Slowest were:

329.0ms
(sqrt (- (pow a 3) (pow (/ 1.0 3.0) 3)))
258.0ms
(sqrt (- (pow a 3) (pow (/ 1.0 3.0) 3)))
237.0ms
(sqrt (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0))))

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 95
Calls

4 calls. Slowest were:

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

series170.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

63.0ms
(fma (/ 1 (/ (sqrt (* 9 (- a (/ 1.0 3.0)))) (- a (/ 1.0 3.0)))) rand (- a (/ 1.0 3.0)))
49.0ms
(/ (sqrt (* 9 (- a (/ 1.0 3.0)))) (- a (/ 1.0 3.0)))
33.0ms
(/ 1 (/ (sqrt (* 9 (- a (/ 1.0 3.0)))) (- a (/ 1.0 3.0))))

simplify4.2s

Counts
71 → 107
Calls

71 calls. Slowest were:

431.0ms
(sqrt (* 9 (- (pow a 3) (pow (/ 1.0 3.0) 3))))
415.0ms
(sqrt (* 9 (- (pow a 3) (pow (/ 1.0 3.0) 3))))
251.0ms
(sqrt (* 9 (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0)))))

prune1.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt (- a (/ 1.0 3.0))) (/ 1 3))
0.1b
(fma (* (* (sqrt (- a (/ 1.0 3.0))) (/ 1 3)) 1) rand (- a (/ 1.0 3.0)))
0.0b
(sqrt (- a (/ 1.0 3.0)))
0.0b
(- a (/ 1.0 3.0))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

8.0ms
(* (sqrt (- a (/ 1.0 3.0))) (/ 1 3))
2.0ms
(sqrt (- a (/ 1.0 3.0)))
1.0ms
(- a (/ 1.0 3.0))

series122.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

37.0ms
(fma (* (* (sqrt (- a (/ 1.0 3.0))) (/ 1 3)) 1) rand (- a (/ 1.0 3.0)))
33.0ms
(* (sqrt (- a (/ 1.0 3.0))) (/ 1 3))
28.0ms
(sqrt (- a (/ 1.0 3.0)))

simplify2.6s

Counts
36 → 80
Calls

36 calls. Slowest were:

375.0ms
(sqrt (- (pow a 3) (pow (/ 1.0 3.0) 3)))
361.0ms
(* (sqrt (- (pow a 3) (pow (/ 1.0 3.0) 3))) 1)
271.0ms
(* (sqrt (- (pow a 3) (pow (/ 1.0 3.0) 3))) (/ 1 3))

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes274.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(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.12689417344137627 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