Error in 59.6s

Runtime

Time bar (total: 59.6s)Debug logProfile

start611.0ms

Algorithm
intervals

setup216.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (pow (* -2 (log u1)) 0.5) 1/6)
0.2b
(* PI (* 2 u2))
0.1b
(pow (* -2 (log u1)) 0.5)
0.0b
(fma (cos (* PI (* 2 u2))) (* (pow (* -2 (log u1)) 0.5) 1/6) 0.5)

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 48
Calls

4 calls. Slowest were:

6.0ms
(* (pow (* -2 (log u1)) 0.5) 1/6)
1.0ms
(pow (* -2 (log u1)) 0.5)
1.0ms
(* PI (* 2 u2))

series1.8s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.0s
(* (pow (* -2 (log u1)) 0.5) 1/6)
366.0ms
(fma (cos (* PI (* 2 u2))) (* (pow (* -2 (log u1)) 0.5) 1/6) 0.5)
360.0ms
(pow (* -2 (log u1)) 0.5)

simplify618.0ms

Counts
18 → 60
Calls

18 calls. Slowest were:

216.0ms
(- (+ 0.5 (* 1/6 (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))) (* 1/3 (* (* (pow u2 2) (pow PI 2)) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))))
100.0ms
(pow (* -2 (- (log -1) (log (/ -1 u1)))) 0.5)
90.0ms
(+ (* 1/6 (* (pow (* (pow (- (log -1) (log (/ -1 u1))) 1.0) (pow -2 1.0)) 0.5) (cos (* 2 (* u2 PI))))) 0.5)

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
0.5b
(cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))
0.4b
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))
0.3b
(* (cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))) 1/6)

rewrite57.0ms

Algorithm
rewrite-expression-head
Counts
4 → 108
Calls

4 calls. Slowest were:

21.0ms
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))
20.0ms
(* (cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))) 1/6)
7.0ms
(cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))

series3.8s

Counts
4 → 12
Calls

4 calls. Slowest were:

990.0ms
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))
966.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
909.0ms
(* (cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))) 1/6)

simplify12.7s

Counts
79 → 120
Calls

79 calls. Slowest were:

495.0ms
(+ (+ (* (log (* -2 (log u1))) 0.5) (* (log (* -2 (log u1))) 0.5)) (* (log (* -2 (log u1))) 0.5))
474.0ms
(+ (+ (* (log (* -2 (log u1))) 0.5) (* (log (* -2 (log u1))) 0.5)) (* (log (* -2 (log u1))) 0.5))
437.0ms
(+ (+ (* (log (* -2 (log u1))) 0.5) (* (log (* -2 (log u1))) 0.5)) (* (log (* -2 (log u1))) 0.5))

prune2.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
0.5b
(cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))
0.5b
(* (sqrt (cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))) 1/6)
0.4b
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))

rewrite105.0ms

Algorithm
rewrite-expression-head
Counts
4 → 111
Calls

4 calls. Slowest were:

49.0ms
(* (sqrt (cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))) 1/6)
30.0ms
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))
15.0ms
(cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))

series3.5s

Counts
4 → 12
Calls

4 calls. Slowest were:

922.0ms
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))
920.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
896.0ms
(* (sqrt (cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))) 1/6)

simplify12.3s

Counts
82 → 123
Calls

82 calls. Slowest were:

772.0ms
(+ (log (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))) (log (pow (* -2 (log u1)) 0.5)))
489.0ms
(+ (+ (* (log (* -2 (log u1))) 0.5) (* (log (* -2 (log u1))) 0.5)) (log (pow (* -2 (log u1)) 0.5)))
441.0ms
(+ (+ (* (log (* -2 (log u1))) 0.5) (* (log (* -2 (log u1))) 0.5)) (* (log (* -2 (log u1))) 0.5))

prune2.9s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))) (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))))
0.5b
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
0.5b
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
0.5b
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))

rewrite185.0ms

Algorithm
rewrite-expression-head
Counts
4 → 106
Calls

4 calls. Slowest were:

160.0ms
(cbrt (* (* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))) (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))))
11.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
7.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))

series3.4s

Counts
4 → 12
Calls

4 calls. Slowest were:

897.0ms
(cbrt (* (* (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))) (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))))
896.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
859.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))

simplify3.2s

Counts
75 → 118
Calls

75 calls. Slowest were:

146.0ms
(+ (* (log (* -2 (log u1))) 0.5) (log (pow (* -2 (log u1)) 0.5)))
136.0ms
(+ (* (log (* -2 (log u1))) 0.5) (log (pow (* -2 (log u1)) 0.5)))
133.0ms
(+ (log (pow (* -2 (log u1)) 0.5)) (log (pow (* -2 (log u1)) 0.5)))

prune2.9s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes530.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (u1 u2)
  :name "normal distribution"
  :pre (and (<= 0 u1 1) (<= 0 u2 1))
  (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 0.5)) (cos (* (* 2 PI) u2))) 0.5))

Backtrace

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