Metrics for Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, J

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 26 to 18 computations (30.8% saved)

sample2.3s (88.7%)

Results

500.0ms	8256×	valid-sollya
419.0ms	8256×	valid-rival-baseline
463.0ms	8256×	valid-rival

Bogosity

preprocess262.0ms (9.9%)

Algorithm

1×	egg-herbie

Rules

2931×	`fma-define`
776×	`unsub-neg`
368×	`fma-neg`
349×	`distribute-lft-in`
331×	`sub-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	402
1	116	378
2	296	342
3	1276	330
4	3415	330
5	5076	330
6	5520	330
7	5727	330
8	5813	330
9	5845	330
10	5889	330
11	5889	330
12	5889	330

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) (neg.f64 y)) z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) (neg.f64 z))))
(neg.f64 (.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z))))
(neg.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) (neg.f64 y)) z))))
(neg.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) (neg.f64 z)))))
(.f64 y (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) x) z)))
(.f64 z (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) x)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) z) y)))

Outputs
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(*.f64 x (fma.f64 z (+.f64 y #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(*.f64 x (fma.f64 z (+.f64 y #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)) (neg.f64 x))
(.f64 x (+.f64 #s(literal -1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(.f64 x (+.f64 (.f64 (-.f64 #s(literal 1 binary64) y) z) #s(literal -1 binary64)))
(*.f64 x (fma.f64 (-.f64 #s(literal 1 binary64) y) z #s(literal -1 binary64)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) (neg.f64 y)) z)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 z (-.f64 #s(literal 1 binary64) (neg.f64 y)))))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 z (+.f64 #s(literal 1 binary64) y))))
(*.f64 x (fma.f64 z (-.f64 #s(literal -1 binary64) y) #s(literal 1 binary64)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) (neg.f64 z))))
(.f64 x (+.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(*.f64 x (fma.f64 (-.f64 #s(literal 1 binary64) y) z #s(literal 1 binary64)))
(neg.f64 (.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z))))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(*.f64 x (fma.f64 z (+.f64 y #s(literal -1 binary64)) #s(literal 1 binary64)))
(neg.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) (neg.f64 y)) z))))
(.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 z (-.f64 #s(literal 1 binary64) (neg.f64 y)))))
(.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 z (+.f64 #s(literal 1 binary64) y))))
(.f64 x (+.f64 (.f64 z (+.f64 #s(literal 1 binary64) y)) #s(literal -1 binary64)))
(*.f64 x (fma.f64 z (+.f64 #s(literal 1 binary64) y) #s(literal -1 binary64)))
(neg.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) (neg.f64 z)))))
(.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) (neg.f64 z))))
(.f64 x (+.f64 #s(literal -1 binary64) (.f64 z (+.f64 #s(literal -1 binary64) y))))
(*.f64 (neg.f64 x) (fma.f64 (-.f64 #s(literal 1 binary64) y) z #s(literal 1 binary64)))
(*.f64 x (fma.f64 z (+.f64 y #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 y (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) x) z)))
(.f64 y (-.f64 #s(literal 1 binary64) (.f64 z (-.f64 #s(literal 1 binary64) x))))
(.f64 y (+.f64 #s(literal 1 binary64) (.f64 z (+.f64 #s(literal -1 binary64) x))))
(*.f64 y (fma.f64 z (+.f64 x #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 z (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) x)))
(.f64 z (-.f64 #s(literal 1 binary64) (.f64 x (-.f64 #s(literal 1 binary64) y))))
(*.f64 z (fma.f64 x (+.f64 y #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) z) y)))
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 y (-.f64 #s(literal 1 binary64) z))))
(*.f64 x (fma.f64 y (+.f64 z #s(literal -1 binary64)) #s(literal 1 binary64)))

Symmetry

(negabs x)

Compiler

Compiled 12 to 8 computations (33.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	93.3%	(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))

Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

33×	`unsub-neg`
23×	`neg-mul-1`
14×	`distribute-lft-neg-in`
11×	`cancel-sign-sub`
10×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	29	34
2	46	34
3	63	34
4	91	34
5	138	34
6	167	34
7	187	34
8	208	34

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))

Outputs
(.f64 x (-.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) y) z)))
(.f64 x (+.f64 #s(literal 1 binary64) (.f64 z (+.f64 y #s(literal -1 binary64)))))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 12 to 9 computations (25% saved)

preprocess30.0ms (1.2%)

Remove: (negabs x)
Compiler: Compiled 212 to 116 computations (45.3% saved)

Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, J

analyze0.0ms (0%)

sample2.3s (88.7%)

preprocess262.0ms (9.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify5.0ms (0.2%)

soundness0.0ms (0%)

preprocess30.0ms (1.2%)

end0.0ms (0%)

Profiling