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

analyze109.0ms (3.3%)

Memory

0.5MiB live, 49.6MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
50%	49.9%	49.9%	0.2%	0%	0%	0%	5
50%	49.9%	49.9%	0.2%	0%	0%	0%	6
50%	49.9%	49.9%	0.2%	0%	0%	0%	7
50%	49.9%	49.9%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
75%	74.8%	24.9%	0.2%	0%	0%	0%	10
75%	74.8%	24.9%	0.2%	0%	0%	0%	11
75%	74.8%	24.9%	0.2%	0%	0%	0%	12

Compiler

Compiled 34 to 29 computations (14.7% saved)

sample3.0s (91.8%)

Memory

9.5MiB live, 954.8MiB allocated

Samples

751.0ms	8 117×	0	valid-sollya
530.0ms	8 117×	0	valid-baseline
478.0ms	8 117×	0	valid-rival
14.0ms	67×	1	valid-baseline
12.0ms	40×	2	valid-baseline
11.0ms	31×	3	valid-baseline
8.0ms	67×	1	valid-rival
6.0ms	67×	1	valid-sollya
6.0ms	40×	2	valid-rival
5.0ms	31×	3	valid-rival
4.0ms	40×	2	valid-sollya
3.0ms	31×	3	valid-sollya
0.0ms	1×	4	valid-baseline
0.0ms	1×	4	valid-rival
0.0ms	1×	4	valid-sollya

Bogosity

preprocess128.0ms (3.9%)

Memory

-5.1MiB live, 25.4MiB allocated

Algorithm

1×	egg-herbie

Rules

796×	`fmm-def`
493×	`sub-neg`
375×	`fma-define`
350×	`times-frac`
341×	`div-sub`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	91	1220
1	207	1092
2	559	1056
3	1521	1056
4	3522	1056
5	7717	1056

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 (neg.f64 x) y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x (neg.f64 y))) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 (neg.f64 z) t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z (neg.f64 t))) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 (neg.f64 a) #s(literal 120 binary64)))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 (neg.f64 x) y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64))))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x (neg.f64 y))) (-.f64 z t)) (.f64 a #s(literal 120 binary64))))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 (neg.f64 z) t)) (.f64 a #s(literal 120 binary64))))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z (neg.f64 t))) (.f64 a #s(literal 120 binary64))))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 (neg.f64 a) #s(literal 120 binary64))))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 y x)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 z y)) (-.f64 x t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 t y)) (-.f64 z x)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 a y)) (-.f64 z t)) (.f64 x #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x z)) (-.f64 y t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x t)) (-.f64 z y)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x a)) (-.f64 z t)) (.f64 y #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 t z)) (.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 a t)) (.f64 z #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z a)) (.f64 t #s(literal 120 binary64)))

Outputs
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z t))) (.f64 a #s(literal 120 binary64)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 (-.f64 x y) (/.f64 #s(literal -60 binary64) (-.f64 t z)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z t))) (.f64 a #s(literal 120 binary64)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 (-.f64 x y) (/.f64 #s(literal -60 binary64) (-.f64 t z)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 (neg.f64 x) y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal 60 binary64) (/.f64 (-.f64 (neg.f64 x) y) (-.f64 z t))))
(fma.f64 #s(literal 60 binary64) (/.f64 (neg.f64 (+.f64 x y)) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 #s(literal 60 binary64) (/.f64 (+.f64 x y) (-.f64 t z)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 a #s(literal 120 binary64) (*.f64 (+.f64 x y) (/.f64 #s(literal 60 binary64) (-.f64 t z))))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x (neg.f64 y))) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x (neg.f64 y)) (-.f64 z t))))
(fma.f64 #s(literal 60 binary64) (/.f64 (+.f64 x y) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 (neg.f64 z) t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 a #s(literal 120 binary64)) (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 (neg.f64 z) t)))
(fma.f64 a #s(literal 120 binary64) (*.f64 #s(literal -60 binary64) (/.f64 (-.f64 x y) (+.f64 z t))))
(fma.f64 a #s(literal 120 binary64) (/.f64 (*.f64 #s(literal 60 binary64) (-.f64 y x)) (+.f64 z t)))
(fma.f64 (/.f64 (-.f64 x y) (+.f64 z t)) #s(literal -60 binary64) (*.f64 a #s(literal 120 binary64)))
(fma.f64 (-.f64 x y) (/.f64 #s(literal -60 binary64) (+.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z (neg.f64 t))) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 a #s(literal 120 binary64)) (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z (neg.f64 t))))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (+.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 (-.f64 x y) (/.f64 #s(literal 60 binary64) (+.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 (neg.f64 a) #s(literal 120 binary64)))
(+.f64 (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z t))) (.f64 #s(literal 120 binary64) (neg.f64 a)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z t)) (*.f64 a #s(literal -120 binary64)))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 (neg.f64 x) y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64))))
(neg.f64 (+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal 60 binary64) (/.f64 (-.f64 (neg.f64 x) y) (-.f64 z t)))))
(-.f64 (.f64 a #s(literal -120 binary64)) (.f64 #s(literal 60 binary64) (/.f64 (neg.f64 (+.f64 x y)) (-.f64 z t))))
(fma.f64 a #s(literal -120 binary64) (*.f64 (/.f64 (+.f64 x y) (-.f64 t z)) #s(literal -60 binary64)))
(fma.f64 a #s(literal -120 binary64) (*.f64 (+.f64 x y) (/.f64 #s(literal -60 binary64) (-.f64 t z))))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x (neg.f64 y))) (-.f64 z t)) (.f64 a #s(literal 120 binary64))))
(neg.f64 (+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x (neg.f64 y)) (-.f64 z t)))))
(-.f64 (.f64 a #s(literal -120 binary64)) (/.f64 (.f64 #s(literal 60 binary64) (+.f64 x y)) (-.f64 z t)))
(fma.f64 #s(literal 60 binary64) (/.f64 (+.f64 x y) (-.f64 t z)) (*.f64 a #s(literal -120 binary64)))
(fma.f64 a #s(literal -120 binary64) (*.f64 (+.f64 x y) (/.f64 #s(literal 60 binary64) (-.f64 t z))))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 (neg.f64 z) t)) (.f64 a #s(literal 120 binary64))))
(neg.f64 (+.f64 (.f64 a #s(literal 120 binary64)) (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 (neg.f64 z) t))))
(-.f64 (.f64 a #s(literal -120 binary64)) (.f64 #s(literal -60 binary64) (/.f64 (-.f64 x y) (+.f64 z t))))
(fma.f64 a #s(literal -120 binary64) (/.f64 (*.f64 #s(literal 60 binary64) (-.f64 x y)) (+.f64 z t)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (+.f64 z t)) (*.f64 a #s(literal -120 binary64)))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z (neg.f64 t))) (.f64 a #s(literal 120 binary64))))
(neg.f64 (+.f64 (.f64 a #s(literal 120 binary64)) (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z (neg.f64 t)))))
(-.f64 (.f64 a #s(literal -120 binary64)) (.f64 (-.f64 x y) (/.f64 #s(literal 60 binary64) (+.f64 z t))))
(fma.f64 a #s(literal -120 binary64) (/.f64 (*.f64 #s(literal 60 binary64) (-.f64 y x)) (+.f64 z t)))
(fma.f64 (-.f64 y x) (/.f64 #s(literal 60 binary64) (+.f64 z t)) (*.f64 a #s(literal -120 binary64)))
(neg.f64 (+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 (neg.f64 a) #s(literal 120 binary64))))
(neg.f64 (+.f64 (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z t))) (.f64 #s(literal 120 binary64) (neg.f64 a))))
(+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal -60 binary64) (/.f64 (-.f64 x y) (-.f64 z t))))
(fma.f64 #s(literal -60 binary64) (/.f64 (-.f64 x y) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 (-.f64 x y) (/.f64 #s(literal 60 binary64) (-.f64 t z)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 y x)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))
(neg.f64 (+.f64 (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z t))) (.f64 #s(literal 120 binary64) (neg.f64 a))))
(+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal -60 binary64) (/.f64 (-.f64 x y) (-.f64 z t))))
(fma.f64 #s(literal -60 binary64) (/.f64 (-.f64 x y) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 (-.f64 x y) (/.f64 #s(literal 60 binary64) (-.f64 t z)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 z y)) (-.f64 x t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal 60 binary64) (/.f64 (-.f64 z y) (-.f64 x t))))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 z y) (-.f64 x t)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 t y)) (-.f64 z x)) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 a #s(literal 120 binary64)) (/.f64 (.f64 #s(literal 60 binary64) (-.f64 t y)) (-.f64 z x)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 t y) (-.f64 z x)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 y t) (-.f64 x z)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 a y)) (-.f64 z t)) (.f64 x #s(literal 120 binary64)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 a y) (-.f64 z t)) (*.f64 x #s(literal 120 binary64)))
(fma.f64 (-.f64 a y) (/.f64 #s(literal -60 binary64) (-.f64 t z)) (*.f64 x #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x z)) (-.f64 y t)) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x z) (-.f64 y t))))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x z) (-.f64 y t)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x t)) (-.f64 z y)) (.f64 a #s(literal 120 binary64)))
(+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x t) (-.f64 z y))))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x t) (-.f64 z y)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x a)) (-.f64 z t)) (.f64 y #s(literal 120 binary64)))
(+.f64 (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x a) (-.f64 z t))) (.f64 y #s(literal 120 binary64)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x a) (-.f64 z t)) (*.f64 y #s(literal 120 binary64)))
(fma.f64 (-.f64 x a) (/.f64 #s(literal -60 binary64) (-.f64 t z)) (*.f64 y #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 t z)) (.f64 a #s(literal 120 binary64)))
(neg.f64 (+.f64 (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z t))) (.f64 #s(literal 120 binary64) (neg.f64 a))))
(+.f64 (.f64 a #s(literal 120 binary64)) (.f64 #s(literal -60 binary64) (/.f64 (-.f64 x y) (-.f64 z t))))
(fma.f64 #s(literal -60 binary64) (/.f64 (-.f64 x y) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 (-.f64 x y) (/.f64 #s(literal 60 binary64) (-.f64 t z)) (*.f64 a #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 a t)) (.f64 z #s(literal 120 binary64)))
(+.f64 (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 a t))) (.f64 z #s(literal 120 binary64)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 a t)) (*.f64 z #s(literal 120 binary64)))
(fma.f64 (-.f64 x y) (/.f64 #s(literal -60 binary64) (-.f64 t a)) (*.f64 z #s(literal 120 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z a)) (.f64 t #s(literal 120 binary64)))
(+.f64 (.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z a))) (.f64 t #s(literal 120 binary64)))
(fma.f64 #s(literal 60 binary64) (/.f64 (-.f64 x y) (-.f64 z a)) (*.f64 t #s(literal 120 binary64)))

Compiler

Compiled 18 to 13 computations (27.8% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.0%	(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))

Compiler

Compiled 36 to 26 computations (27.8% saved)

simplify2.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	29	52
2	37	52
3	41	52
4	43	52

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))

Outputs
(+.f64 (/.f64 (.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (.f64 a #s(literal 120 binary64)))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 18 to 13 computations (27.8% saved)

preprocess27.0ms (0.8%)

Memory: -0.4MiB live, 33.3MiB allocated
Compiler: Compiled 108 to 78 computations (27.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze109.0ms (3.3%)

sample3.0s (91.8%)

preprocess128.0ms (3.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess27.0ms (0.8%)

end0.0ms (0%)

Profiling