Metrics for Data.Colour.CIE:lightness from colour-2.3.3

analyze14.0ms (1%)

Memory

-11.5MiB live, 4.3MiB allocated

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 14 to 13 computations (7.1% saved)

sample1.3s (94.2%)

Memory

5.4MiB live, 395.9MiB allocated

Samples

250.0ms	8 181×	0	valid-baseline
233.0ms	8 181×	0	valid-rival
213.0ms	8 181×	0	valid-sollya
5.0ms	35×	2	valid-baseline
4.0ms	40×	1	valid-baseline
2.0ms	35×	2	valid-rival
2.0ms	40×	1	valid-rival
1.0ms	40×	1	valid-sollya
1.0ms	35×	2	valid-sollya

Bogosity

preprocess48.0ms (3.5%)

Memory

-13.1MiB live, 18.9MiB allocated

Algorithm

1×	egg-herbie

Rules

68×	`fmm-def`
18×	`fma-define`
14×	`distribute-lft-neg-in`
12×	`cancel-sign-sub-inv`
10×	`sub-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	14	60
1	30	60
2	57	52
3	107	48
4	188	48
5	247	48
6	267	48
7	276	48
8	284	48
9	289	48
10	290	48

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
(-.f64 (*.f64 (neg.f64 x) #s(literal 116 binary64)) #s(literal 16 binary64))
(neg.f64 (-.f64 (*.f64 (neg.f64 x) #s(literal 116 binary64)) #s(literal 16 binary64)))

Outputs
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
(fma.f64 x #s(literal 116 binary64) #s(literal -16 binary64))
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
(fma.f64 x #s(literal 116 binary64) #s(literal -16 binary64))
(-.f64 (*.f64 (neg.f64 x) #s(literal 116 binary64)) #s(literal 16 binary64))
(fma.f64 (neg.f64 x) #s(literal 116 binary64) #s(literal -16 binary64))
(+.f64 (*.f64 x #s(literal -116 binary64)) #s(literal -16 binary64))
(fma.f64 x #s(literal -116 binary64) #s(literal -16 binary64))
(neg.f64 (-.f64 (*.f64 (neg.f64 x) #s(literal 116 binary64)) #s(literal 16 binary64)))
(neg.f64 (fma.f64 (neg.f64 x) #s(literal 116 binary64) #s(literal -16 binary64)))
(+.f64 (neg.f64 (*.f64 x #s(literal -116 binary64))) #s(literal 16 binary64))
(+.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))
(fma.f64 x #s(literal 116 binary64) #s(literal 16 binary64))

Compiler

Compiled 6 to 5 computations (16.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify2.0ms (0.1%)

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×	egg-herbie

Rules

2×	`sub-neg`
2×	`*-commutative`
2×	`+-commutative`
1×	`neg-sub0`
1×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	13	16
2	18	16
3	20	16
4	21	16

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))

Outputs
(-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 6 to 5 computations (16.7% saved)

preprocess15.0ms (1.1%)

Memory: 6.7MiB live, 22.3MiB allocated
Compiler: Compiled 24 to 20 computations (16.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	14	60
1	30	60
2	57	52
3	107	48
4	188	48
5	247	48
6	267	48
7	276	48
8	284	48
9	289	48
10	290	48

Iter	Nodes	Cost
0	14	60
1	30	60
2	57	52
3	107	48
4	188	48
5	247	48
6	267	48
7	276	48
8	284	48
9	289	48
10	290	48

analyze14.0ms (1%)

sample1.3s (94.2%)

preprocess48.0ms (3.5%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess15.0ms (1.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	14	60
1	30	60
2	57	52
3	107	48
4	188	48
5	247	48
6	267	48
7	276	48
8	284	48
9	289	48
10	290	48