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

Time bar (total: 1.1s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.0s (90.1%)

Results
875.0ms6876×body256valid
119.0ms1380×body256infinite
Bogosity

preprocess110.0ms (9.9%)

Algorithm
1×egg-herbie
Rules
466×fma-def
214×associate-+r+
188×associate-*r*
151×distribute-lft-in
134×associate--r+
Problems
246×No Errors
9×(*.f64 x (-.f64 1 (*.f64 y z)))
1×(-.f64 1 (*.f64 y z))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
036320
194316
2244300
3565296
41469296
52430296
62502296
72505296
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 x (-.f64 1 (*.f64 y z)))
(*.f64 x (-.f64 1 (*.f64 y z)))
(*.f64 (neg.f64 x) (-.f64 1 (*.f64 y z)))
(*.f64 x (-.f64 1 (*.f64 (neg.f64 y) z)))
(*.f64 x (-.f64 1 (*.f64 y (neg.f64 z))))
(neg.f64 (*.f64 (neg.f64 x) (-.f64 1 (*.f64 y z))))
(neg.f64 (*.f64 x (-.f64 1 (*.f64 (neg.f64 y) z))))
(neg.f64 (*.f64 x (-.f64 1 (*.f64 y (neg.f64 z)))))
(*.f64 y (-.f64 1 (*.f64 x z)))
(*.f64 z (-.f64 1 (*.f64 y x)))
(*.f64 x (-.f64 1 (*.f64 z y)))
Outputs
(*.f64 x (-.f64 1 (*.f64 y z)))
(*.f64 x (-.f64 1 (*.f64 y z)))
(*.f64 (neg.f64 x) (-.f64 1 (*.f64 y z)))
(*.f64 (-.f64 1 (*.f64 y z)) (neg.f64 x))
(*.f64 x (+.f64 -1 (*.f64 y z)))
(*.f64 x (+.f64 (*.f64 y z) -1))
(*.f64 x (fma.f64 y z -1))
(*.f64 x (-.f64 1 (*.f64 (neg.f64 y) z)))
(*.f64 x (+.f64 1 (*.f64 y z)))
(*.f64 x (fma.f64 y z 1))
(*.f64 x (-.f64 1 (*.f64 y (neg.f64 z))))
(*.f64 x (+.f64 1 (*.f64 y z)))
(*.f64 x (fma.f64 y z 1))
(neg.f64 (*.f64 (neg.f64 x) (-.f64 1 (*.f64 y z))))
(*.f64 x (-.f64 1 (*.f64 y z)))
(neg.f64 (*.f64 x (-.f64 1 (*.f64 (neg.f64 y) z))))
(*.f64 x (neg.f64 (+.f64 1 (*.f64 y z))))
(*.f64 x (+.f64 -1 (*.f64 y (neg.f64 z))))
(*.f64 x (-.f64 -1 (*.f64 y z)))
(neg.f64 (*.f64 x (-.f64 1 (*.f64 y (neg.f64 z)))))
(*.f64 x (neg.f64 (+.f64 1 (*.f64 y z))))
(*.f64 x (+.f64 -1 (*.f64 y (neg.f64 z))))
(*.f64 x (-.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 1 (*.f64 x z)))
(*.f64 z (-.f64 1 (*.f64 y x)))
(*.f64 z (-.f64 1 (*.f64 x y)))
(*.f64 (-.f64 1 (*.f64 x y)) z)
(*.f64 (neg.f64 z) (fma.f64 x y -1))
(*.f64 x (-.f64 1 (*.f64 z y)))
(*.f64 x (-.f64 1 (*.f64 y z)))
Symmetry

(negabs x)

(sort y z)

Compiler

Compiled 23 to 11 computations (52.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...