Metrics for a parameter of renormalized beta distribution

analyze12.0ms (0.5%)

Memory

3.7MiB live, 3.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	12.5%	87.5%	0%	0%	0%	0
100%	12.5%	0%	87.5%	0%	0%	0%	1

Compiler

Compiled 27 to 19 computations (29.6% saved)

sample2.1s (82.3%)

Memory

6.8MiB live, 609.9MiB allocated

Samples

449.0ms	8 256×	valid-sollya
406.0ms	8 256×	valid-baseline
385.0ms	8 256×	valid-rival

Bogosity

preprocess417.0ms (16.5%)

Memory

-9.1MiB live, 23.1MiB allocated

Algorithm

1×	egg-herbie

Rules

2 395×	`fma-define`
625×	`div-sub`
525×	`fmm-def`
376×	`sub-neg`
302×	`associate-r`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	341
1	80	297
2	218	289
3	810	273
4	3188	273
5	4851	273
6	5793	273
7	6386	273
8	6738	273
9	6883	273
10	7004	273
11	7156	273
12	7352	273
13	7436	273
14	7436	273
15	7492	273
16	7564	273

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(.f64 (-.f64 (/.f64 (.f64 (neg.f64 m) (-.f64 #s(literal 1 binary64) (neg.f64 m))) v) #s(literal 1 binary64)) (neg.f64 m))
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) m)
(neg.f64 (.f64 (-.f64 (/.f64 (.f64 (neg.f64 m) (-.f64 #s(literal 1 binary64) (neg.f64 m))) v) #s(literal 1 binary64)) (neg.f64 m)))
(neg.f64 (.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) m))
(.f64 (-.f64 (/.f64 (.f64 v (-.f64 #s(literal 1 binary64) v)) m) #s(literal 1 binary64)) v)

Outputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(.f64 m (+.f64 (.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v)) #s(literal -1 binary64)))
(*.f64 m (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal -1 binary64)))
(*.f64 m (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64)))
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(.f64 m (+.f64 (.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v)) #s(literal -1 binary64)))
(*.f64 m (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal -1 binary64)))
(*.f64 m (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64)))
(.f64 (-.f64 (/.f64 (.f64 (neg.f64 m) (-.f64 #s(literal 1 binary64) (neg.f64 m))) v) #s(literal 1 binary64)) (neg.f64 m))
(.f64 (neg.f64 m) (+.f64 (.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) (neg.f64 m)) v)) #s(literal -1 binary64)))
(*.f64 (neg.f64 m) (fma.f64 (neg.f64 m) (/.f64 (+.f64 m #s(literal 1 binary64)) v) #s(literal -1 binary64)))
(.f64 m (+.f64 #s(literal 1 binary64) (.f64 m (/.f64 (+.f64 m #s(literal 1 binary64)) v))))
(*.f64 m (fma.f64 m (/.f64 (+.f64 m #s(literal 1 binary64)) v) #s(literal 1 binary64)))
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) m)
(.f64 m (+.f64 (.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v))) #s(literal -1 binary64)))
(*.f64 m (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v)) #s(literal -1 binary64)))
(*.f64 m (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m (neg.f64 v)) #s(literal -1 binary64)))
(*.f64 m (fma.f64 (/.f64 m v) (+.f64 m #s(literal -1 binary64)) #s(literal -1 binary64)))
(neg.f64 (.f64 (-.f64 (/.f64 (.f64 (neg.f64 m) (-.f64 #s(literal 1 binary64) (neg.f64 m))) v) #s(literal 1 binary64)) (neg.f64 m)))
(.f64 (+.f64 (.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) (neg.f64 m)) v)) #s(literal -1 binary64)) (neg.f64 (neg.f64 m)))
(*.f64 m (fma.f64 (neg.f64 m) (/.f64 (+.f64 m #s(literal 1 binary64)) v) #s(literal -1 binary64)))
(.f64 m (-.f64 #s(literal -1 binary64) (.f64 m (/.f64 (+.f64 m #s(literal 1 binary64)) v))))
(*.f64 m (fma.f64 (-.f64 #s(literal -1 binary64) m) (/.f64 m v) #s(literal -1 binary64)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 #s(literal -1 binary64) m) #s(literal -1 binary64)))
(neg.f64 (.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) m))
(.f64 (+.f64 (.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v))) #s(literal -1 binary64)) (neg.f64 m))
(*.f64 (neg.f64 m) (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v)) #s(literal -1 binary64)))
(.f64 m (+.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v))))
(*.f64 m (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal 1 binary64)))
(.f64 (-.f64 (/.f64 (.f64 v (-.f64 #s(literal 1 binary64) v)) m) #s(literal 1 binary64)) v)
(.f64 v (+.f64 (.f64 v (/.f64 (-.f64 #s(literal 1 binary64) v) m)) #s(literal -1 binary64)))
(*.f64 v (fma.f64 v (/.f64 (-.f64 #s(literal 1 binary64) v) m) #s(literal -1 binary64)))

Compiler

Compiled 13 to 8 computations (38.5% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Compiler

Compiled 26 to 16 computations (38.5% saved)

simplify2.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Rules

6×	`unsub-neg`
5×	`neg-mul-1`
4×	`sub-neg`
4×	`*-commutative`
4×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	25	43
2	32	43
3	38	43
4	46	43
5	57	43

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

Outputs

(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)

(*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)))

(*.f64 m (+.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal -1 binary64)))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 13 to 9 computations (30.8% saved)

preprocess15.0ms (0.6%)

Memory: 6.0MiB live, 21.6MiB allocated
Compiler: Compiled 52 to 34 computations (34.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze12.0ms (0.5%)

sample2.1s (82.3%)

preprocess417.0ms (16.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess15.0ms (0.6%)

end0.0ms (0%)

Profiling