Metrics for Data.Colour.RGB:hslsv from colour-2.3.3, C

analyze15.0ms (1.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
25%	25%	74.9%	0.1%	0%	0%	0%	3
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	4
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	5
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	6
79.7%	79.6%	20.3%	0.1%	0%	0%	0%	7
83.6%	83.5%	16.4%	0.1%	0%	0%	0%	8
90.2%	90.1%	9.8%	0.1%	0%	0%	0%	9
92%	91.9%	8%	0.1%	0%	0%	0%	10
95.2%	95.1%	4.8%	0.1%	0%	0%	0%	11
96%	96%	4%	0.1%	0%	0%	0%	12

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample972.0ms (75.3%)

Results

960.0ms	8255×	body	256	valid
0.0ms	1×	body	1024	valid

Bogosity

preprocess77.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

1952×	`fma-def`
1506×	`times-frac`
1402×	`div-sub`
1064×	`sub-neg`
742×	`associate-/r*`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	24	108
1	67	104
2	146	104
3	372	104
4	1195	100
5	4706	100
6	7661	100

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
(/.f64 (-.f64 (neg.f64 x) y) (-.f64 2 (+.f64 (neg.f64 x) y)))
(/.f64 (-.f64 x (neg.f64 y)) (-.f64 2 (+.f64 x (neg.f64 y))))
(/.f64 (-.f64 y x) (-.f64 2 (+.f64 y x)))

Outputs
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
(/.f64 (-.f64 x y) (-.f64 (-.f64 2 x) y))
(/.f64 (-.f64 (neg.f64 x) y) (-.f64 2 (+.f64 (neg.f64 x) y)))
(/.f64 (-.f64 (neg.f64 x) y) (-.f64 2 (-.f64 y x)))
(/.f64 (-.f64 (neg.f64 x) y) (+.f64 (-.f64 x y) 2))
(/.f64 (-.f64 (neg.f64 x) y) (+.f64 x (-.f64 2 y)))
(/.f64 (+.f64 x y) (+.f64 y (-.f64 -2 x)))
(/.f64 (-.f64 x (neg.f64 y)) (-.f64 2 (+.f64 x (neg.f64 y))))
(/.f64 (-.f64 x (neg.f64 y)) (-.f64 2 (-.f64 x y)))
(/.f64 (+.f64 x y) (-.f64 2 (-.f64 x y)))
(/.f64 (+.f64 x y) (+.f64 y (-.f64 2 x)))
(/.f64 (-.f64 y x) (-.f64 2 (+.f64 y x)))
(/.f64 (-.f64 y x) (-.f64 (-.f64 2 x) y))
(/.f64 (-.f64 y x) (-.f64 2 (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 y (-.f64 x 2)))

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify146.0ms (11.3%)

Algorithm

1×	egg-herbie

Rules

2640×	`fma-def`
1570×	`fma-neg`
1332×	`div-sub`
848×	`sub-neg`
816×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	20	25
2	37	25
3	80	25
4	191	25
5	378	25
6	907	25
7	2530	25
8	4848	25
9	6722	25
10	7306	25
11	7676	25
12	7732	25
13	7754	25

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Outputs
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
(/.f64 (-.f64 x y) (-.f64 (-.f64 2 x) y))

eval0.0ms (0%)

Compiler: Compiled 20 to 11 computations (45% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Accurracy

100.0%

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (-.f64 x y) (-.f64 (-.f64 2 x) y))
▶	100.0%	(/.f64 (-.f64 x y) (-.f64 (-.f64 2 x) y))

Compiler

Compiled 22 to 14 computations (36.4% saved)

localize29.0ms (2.3%)

Compiler: Compiled 26 to 14 computations (46.2% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 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 y) (-.f64 (-.f64 2 x) y))

Compiler

Compiled 31 to 18 computations (41.9% saved)

regimes7.0ms (0.6%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
(/.f64 (-.f64 x y) (-.f64 (-.f64 2 x) y))

Outputs
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Calls

3 calls:

2.0ms	x
2.0ms	y
2.0ms	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Results

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

Compiler

Compiled 37 to 22 computations (40.5% saved)

simplify5.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative`
10×	`sub-neg`
6×	`neg-mul-1`
6×	`*-commutative`
6×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	15	25
2	26	25
3	34	25
4	38	25
5	39	25

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Outputs
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Compiler

Compiled 11 to 7 computations (36.4% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess37.0ms (2.9%)

Compiler: Compiled 78 to 48 computations (38.5% saved)

analyze15.0ms (1.1%)

sample972.0ms (75.3%)

preprocess77.0ms (5.9%)

simplify146.0ms (11.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize29.0ms (2.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes7.0ms (0.6%)

simplify5.0ms (0.4%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess37.0ms (2.9%)

Profiling