Metrics for Data.Histogram.Bin.BinF:$cfromIndex from histogram-fill-0.8.4.1

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample908.0ms (74%)

Results

729.0ms	7184×	body	256	valid
168.0ms	1069×	body	256	infinite
0.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid

Bogosity

preprocess198.0ms (16.2%)

Algorithm

1×	egg-herbie

Rules

3066×	`fma-def`
456×	`distribute-rgt-in`
428×	`fma-neg`
338×	`sub-neg`
308×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 12 (0.0ms)

Iter	Nodes	Cost
0	33	187
1	79	155
2	182	151
3	313	143
4	578	135
5	868	127
6	1749	121
7	3171	117
8	3735	115
9	3922	115
10	4001	115
11	4009	115
12	4009	109
13	4328	109
14	4328	109

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
(+.f64 (+.f64 (/.f64 (neg.f64 x) 2) (*.f64 y (neg.f64 x))) z)
(+.f64 (+.f64 (/.f64 x 2) (*.f64 (neg.f64 y) x)) z)
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) (neg.f64 z))
(+.f64 (+.f64 (/.f64 y 2) (*.f64 x y)) z)
(+.f64 (+.f64 (/.f64 z 2) (*.f64 y z)) x)
(+.f64 (+.f64 (/.f64 x 2) (*.f64 z x)) y)

Outputs
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
(+.f64 (/.f64 x 2) (+.f64 (*.f64 x y) z))
(+.f64 (/.f64 x 2) (fma.f64 x y z))
(+.f64 (*.f64 x (+.f64 y 1/2)) z)
(fma.f64 x (+.f64 y 1/2) z)
(+.f64 (+.f64 (/.f64 (neg.f64 x) 2) (*.f64 y (neg.f64 x))) z)
(+.f64 z (+.f64 (/.f64 (neg.f64 x) 2) (*.f64 x (neg.f64 y))))
(+.f64 z (neg.f64 (fma.f64 x y (/.f64 x 2))))
(-.f64 z (fma.f64 x y (/.f64 x 2)))
(+.f64 z (*.f64 x (-.f64 -1/2 y)))
(fma.f64 x (-.f64 -1/2 y) z)
(+.f64 (+.f64 (/.f64 x 2) (*.f64 (neg.f64 y) x)) z)
(+.f64 (/.f64 x 2) (+.f64 (*.f64 x (neg.f64 y)) z))
(+.f64 (/.f64 x 2) (fma.f64 y (neg.f64 x) z))
(-.f64 z (fma.f64 x y (*.f64 x -1/2)))
(-.f64 z (*.f64 x (+.f64 y -1/2)))
(+.f64 z (*.f64 x (-.f64 1/2 y)))
(fma.f64 x (-.f64 1/2 y) z)
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) (neg.f64 z))
(-.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) z)
(-.f64 (fma.f64 x y (/.f64 x 2)) z)
(-.f64 (*.f64 x (-.f64 y -1/2)) z)
(fma.f64 x (+.f64 y 1/2) (neg.f64 z))
(+.f64 (+.f64 (/.f64 y 2) (*.f64 x y)) z)
(+.f64 z (+.f64 (*.f64 x y) (/.f64 y 2)))
(+.f64 z (fma.f64 x y (/.f64 y 2)))
(-.f64 (fma.f64 x y z) (/.f64 y -2))
(fma.f64 x y (fma.f64 1/2 y z))
(fma.f64 y (+.f64 x 1/2) z)
(+.f64 (+.f64 (/.f64 z 2) (*.f64 y z)) x)
(+.f64 x (+.f64 (/.f64 z 2) (*.f64 y z)))
(+.f64 x (fma.f64 y z (/.f64 z 2)))
(+.f64 x (fma.f64 y z (*.f64 1/2 z)))
(+.f64 x (*.f64 z (+.f64 y 1/2)))
(fma.f64 z (+.f64 y 1/2) x)
(+.f64 (+.f64 (/.f64 x 2) (*.f64 z x)) y)
(+.f64 (/.f64 x 2) (+.f64 (*.f64 x z) y))
(+.f64 (/.f64 x 2) (fma.f64 x z y))
(+.f64 (*.f64 x 1/2) (fma.f64 x z y))
(fma.f64 x z (fma.f64 x 1/2 y))
(fma.f64 x (+.f64 z 1/2) y)

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

12×	`fma-def`
10×	`+-commutative`
6×	`associate-+r+`
6×	`associate-+l+`
2×	`*-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	15	21
2	27	21
3	31	21

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

Inputs
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)

Outputs
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
(+.f64 (/.f64 x 2) (+.f64 (*.f64 x y) z))
(+.f64 (/.f64 x 2) (fma.f64 x y z))

eval1.0ms (0.1%)

Compiler: Compiled 29 to 17 computations (41.4% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	2	1	3
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	3	1	4

Accurracy

100.0%

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 (/.f64 x 2) (+.f64 (*.f64 x y) z))
▶	100.0%	(+.f64 (/.f64 x 2) (+.f64 (*.f64 x y) z))

Compiler

Compiled 24 to 16 computations (33.3% saved)

localize32.0ms (2.6%)

Compiler: Compiled 28 to 12 computations (57.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Accurracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (/.f64 x 2) (+.f64 (*.f64 x y) z))

Compiler

Compiled 33 to 21 computations (36.4% saved)

regimes15.0ms (1.2%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
(+.f64 (/.f64 x 2) (+.f64 (*.f64 x y) z))

Outputs
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)

Calls

5 calls:

5.0ms	(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
2.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))
2.0ms	z
2.0ms	x
2.0ms	y

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)`
100.0%	1	`(+.f64 (/.f64 x 2) (*.f64 y x))`

Compiler

Compiled 55 to 37 computations (32.7% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	13	25

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)

Outputs
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
(+.f64 (+.f64 (/.f64 x 2) (*.f64 x y)) z)

Compiler

Compiled 12 to 8 computations (33.3% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess63.0ms (5.1%)

Compiler: Compiled 48 to 32 computations (33.3% saved)

analyze0.0ms (0%)

sample908.0ms (74%)

preprocess198.0ms (16.2%)

simplify4.0ms (0.3%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

localize32.0ms (2.6%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes15.0ms (1.2%)

simplify4.0ms (0.3%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess63.0ms (5.1%)

Profiling