Error in 37.2s

Runtime

Time bar (total: 37.2s)Debug logProfile

start83.0ms

Algorithm
intervals

setup323.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
0.0b
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
0.0b
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
0.0b
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

rewrite279.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

91.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
81.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
61.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

series305.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

86.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
82.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
71.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)

simplify9.4s

Counts
44 → 92
Calls

44 calls. Slowest were:

893.0ms
(+ (pow (+ (+ Ev Vef) EAccept) 3) (pow (- mu) 3))
799.0ms
(- (* (+ (+ Ev Vef) EAccept) (+ (+ Ev Vef) EAccept)) (* (- mu) (- mu)))
691.0ms
(- (- (* (- (- Ec Vef) EDonor) (- (- Ec Vef) EDonor)) (* mu mu)))

prune2.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b
(sqrt (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
0.2b
(sqrt (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
0.1b
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
0.1b
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

rewrite172.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

62.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
56.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
32.0ms
(sqrt (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))

series397.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

132.0ms
(sqrt (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
115.0ms
(sqrt (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
81.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

simplify5.1s

Counts
42 → 80
Calls

42 calls. Slowest were:

646.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))
525.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))
377.0ms
(exp (+ (+ (+ Ev Vef) EAccept) (- mu)))

prune2.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

11.8b
(sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
11.8b
(sqrt (/ (- (+ Vef Ev) (- mu EAccept)) KbT))
0.0b
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
0.0b
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

rewrite156.0ms

Algorithm
rewrite-expression-head
Counts
4 → 74
Calls

4 calls. Slowest were:

83.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
53.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
14.0ms
(sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

series408.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

163.0ms
(sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
141.0ms
(sqrt (/ (- (+ Vef Ev) (- mu EAccept)) KbT))
56.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify7.0s

Counts
41 → 86
Calls

41 calls. Slowest were:

618.0ms
(- (+ (/ mu KbT) (+ (/ Vef KbT) (+ (/ EDonor KbT) 1))) (/ Ec KbT))
615.0ms
(- (sqrt (- (- (- Ec Vef) EDonor) mu)))
566.0ms
(* (cbrt (- (- (- Ec Vef) EDonor) mu)) (cbrt (- (- (- Ec Vef) EDonor) mu)))

prune2.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes784.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (NdChar Ec Vef EDonor mu KbT NaChar Ev EAccept)
  :name "Bulmash initializePoisson"
  (+ (/ NdChar (+ 1 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))

Backtrace

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