Metrics for a parameter of renormalized beta distribution

analyze0.0ms (0%)

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 28 to 18 computations (35.7% saved)

sample2.3s (83.8%)

Results

461.0ms	8256×	valid-sollya
441.0ms	8256×	valid-rival-baseline
474.0ms	8256×	valid-rival

Bogosity

preprocess408.0ms (15.1%)

Algorithm

1×	egg-herbie

Rules

2395×	`fma-define`
608×	`div-sub`
525×	`fma-neg`
375×	`sub-neg`
318×	`unsub-neg`

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	4841	273
6	5769	273
7	6355	273
8	6715	273
9	6860	273
10	7003	273
11	7155	273
12	7351	273
13	7435	273
14	7435	273
15	7491	273
16	7529	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%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

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%)

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%)

Stop Event

1×

fuel

Compiler

Compiled 13 to 9 computations (30.8% saved)

preprocess25.0ms (0.9%)

Compiler: Compiled 52 to 34 computations (34.6% saved)

a parameter of renormalized beta distribution

analyze0.0ms (0%)

sample2.3s (83.8%)

preprocess408.0ms (15.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess25.0ms (0.9%)

end0.0ms (0%)

Profiling