Metrics for Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, G

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample933.0ms (87.9%)

Results

875.0ms

8256×

body

256

valid

Bogosity

preprocess51.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

80×	`fma-def`
24×	`distribute-lft-neg-in`
18×	`sub-neg`
16×	`cancel-sign-sub-inv`
12×	`associate-+l-`

Problems

256×

No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	52
1	25	48
2	49	40
3	76	40
4	125	40
5	156	40
6	166	40
7	173	40
8	181	40
9	186	40
10	187	40

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 x (/.f64 1 3))
(-.f64 x (/.f64 1 3))
(-.f64 (neg.f64 x) (/.f64 1 3))
(neg.f64 (-.f64 (neg.f64 x) (/.f64 1 3)))

Outputs
(-.f64 x (/.f64 1 3))
(+.f64 x -1/3)
(-.f64 x (/.f64 1 3))
(+.f64 x -1/3)
(-.f64 (neg.f64 x) (/.f64 1 3))
(+.f64 (neg.f64 x) -1/3)
(fma.f64 -1 x -1/3)
(-.f64 -1/3 x)
(neg.f64 (-.f64 (neg.f64 x) (/.f64 1 3)))
(neg.f64 (+.f64 (neg.f64 x) -1/3))
(neg.f64 (fma.f64 -1 x -1/3))
(+.f64 x 1/3)

Compiler

Compiled 19 to 16 computations (15.8% saved)

eval0.0ms (0%)

Compiler: Compiled 4 to 3 computations (25% saved)

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 x -1/3)
▶	100.0%	(+.f64 x -1/3)

Compiler

Compiled 8 to 6 computations (25% saved)

localize17.0ms (1.6%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 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

Accuracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 x -1/3)

Compiler

Compiled 13 to 10 computations (23.1% saved)

regimes5.0ms (0.5%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(+.f64 x -1/3)
(-.f64 x (/.f64 1 3))

Outputs
(+.f64 x -1/3)

Calls

2 calls:

3.0ms	x
2.0ms	(-.f64 x (/.f64 1 3))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(-.f64 x (/.f64 1 3))`

Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	8	10

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 x -1/3)

Outputs
(+.f64 x -1/3)

Compiler

Compiled 4 to 3 computations (25% saved)

soundness15.0ms (1.4%)

Rules

80×	`fma-def`
24×	`distribute-lft-neg-in`
18×	`sub-neg`
16×	`cancel-sign-sub-inv`
12×	`associate-+l-`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	52
1	25	48
2	49	40
3	76	40
4	125	40
5	156	40
6	166	40
7	173	40
8	181	40
9	186	40
10	187	40

Stop Event

1×

saturated

Compiler

Compiled 19 to 15 computations (21.1% saved)

end0.0ms (0%)

preprocess35.0ms (3.3%)

Compiler: Compiled 20 to 16 computations (20% saved)

Iter	Nodes	Cost
0	14	52
1	25	48
2	49	40
3	76	40
4	125	40
5	156	40
6	166	40
7	173	40
8	181	40
9	186	40
10	187	40

Iter	Nodes	Cost
0	14	52
1	25	48
2	49	40
3	76	40
4	125	40
5	156	40
6	166	40
7	173	40
8	181	40
9	186	40
10	187	40

Iter	Nodes	Cost
0	14	52
1	25	48
2	49	40
3	76	40
4	125	40
5	156	40
6	166	40
7	173	40
8	181	40
9	186	40
10	187	40

Iter	Nodes	Cost
0	14	52
1	25	48
2	49	40
3	76	40
4	125	40
5	156	40
6	166	40
7	173	40
8	181	40
9	186	40
10	187	40

analyze0.0ms (0%)

sample933.0ms (87.9%)

preprocess51.0ms (4.8%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize17.0ms (1.6%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes5.0ms (0.5%)

simplify1.0ms (0.1%)

soundness15.0ms (1.4%)

end0.0ms (0%)

preprocess35.0ms (3.3%)

Profiling

Iter	Nodes	Cost
0	14	52
1	25	48
2	49	40
3	76	40
4	125	40
5	156	40
6	166	40
7	173	40
8	181	40
9	186	40
10	187	40

Iter	Nodes	Cost
0	14	52
1	25	48
2	49	40
3	76	40
4	125	40
5	156	40
6	166	40
7	173	40
8	181	40
9	186	40
10	187	40