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

Time bar (total: 1.4s)

analyze87.0ms (6.2%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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 19 to 14 computations (26.3% saved)

sample1.2s (82.8%)

Results
927.0ms7563×body256valid
158.0ms597×body256infinite
9.0ms38×body1024valid
8.0ms29×body2048valid
5.0ms27×body512valid
1.0ms2×body4096valid
Bogosity

preprocess153.0ms (11%)

Algorithm
1×egg-herbie
Rules
551×fma-def
547×associate-+l-
511×+-commutative
415×*-commutative
377×associate-/r/
Problems
255×No Errors
1×(/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0911220
12071104
25571060
316081056
450931056
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 (neg.f64 x) y)) (-.f64 z t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x (neg.f64 y))) (-.f64 z t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 (neg.f64 z) t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z (neg.f64 t))) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)) (*.f64 (neg.f64 a) 120))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 (neg.f64 x) y)) (-.f64 z t)) (*.f64 a 120)))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 x (neg.f64 y))) (-.f64 z t)) (*.f64 a 120)))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 (neg.f64 z) t)) (*.f64 a 120)))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z (neg.f64 t))) (*.f64 a 120)))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)) (*.f64 (neg.f64 a) 120)))
(+.f64 (/.f64 (*.f64 60 (-.f64 y x)) (-.f64 z t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 z y)) (-.f64 x t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 t y)) (-.f64 z x)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 a y)) (-.f64 z t)) (*.f64 x 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x z)) (-.f64 y t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x t)) (-.f64 z y)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x a)) (-.f64 z t)) (*.f64 y 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 t z)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 a t)) (*.f64 z 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z a)) (*.f64 t 120))
Outputs
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)) (*.f64 a 120))
(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 a 120))
(fma.f64 a 120 (*.f64 (/.f64 60 (-.f64 z t)) (-.f64 x y)))
(fma.f64 a 120 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))))
(fma.f64 (-.f64 x y) (/.f64 60 (-.f64 z t)) (*.f64 a 120))
(fma.f64 (-.f64 x y) (/.f64 -60 (-.f64 t z)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)) (*.f64 a 120))
(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 a 120))
(fma.f64 a 120 (*.f64 (/.f64 60 (-.f64 z t)) (-.f64 x y)))
(fma.f64 a 120 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))))
(fma.f64 (-.f64 x y) (/.f64 60 (-.f64 z t)) (*.f64 a 120))
(fma.f64 (-.f64 x y) (/.f64 -60 (-.f64 t z)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 (neg.f64 x) y)) (-.f64 z t)) (*.f64 a 120))
(+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 z t) (-.f64 (neg.f64 x) y))))
(fma.f64 a 120 (*.f64 (/.f64 60 (-.f64 z t)) (-.f64 (neg.f64 x) y)))
(fma.f64 a 120 (*.f64 (/.f64 -60 (-.f64 z t)) (+.f64 x y)))
(fma.f64 (/.f64 60 (-.f64 t z)) (+.f64 x y) (*.f64 a 120))
(fma.f64 a 120 (/.f64 (*.f64 60 (+.f64 x y)) (-.f64 t z)))
(+.f64 (/.f64 (*.f64 60 (-.f64 x (neg.f64 y))) (-.f64 z t)) (*.f64 a 120))
(+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x (neg.f64 y)))))
(fma.f64 a 120 (/.f64 60 (/.f64 (-.f64 z t) (+.f64 x y))))
(fma.f64 (/.f64 60 (-.f64 z t)) (+.f64 x y) (*.f64 a 120))
(fma.f64 a 120 (*.f64 (+.f64 x y) (/.f64 -60 (-.f64 t z))))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 (neg.f64 z) t)) (*.f64 a 120))
(+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 (neg.f64 z) t) (-.f64 x y))))
(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 (neg.f64 z) t)))
(fma.f64 (/.f64 -60 (+.f64 z t)) (-.f64 x y) (*.f64 a 120))
(fma.f64 (-.f64 x y) (/.f64 -60 (+.f64 z t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z (neg.f64 t))) (*.f64 a 120))
(+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 z (neg.f64 t)) (-.f64 x y))))
(fma.f64 a 120 (/.f64 (-.f64 x y) (/.f64 (+.f64 z t) 60)))
(fma.f64 a 120 (*.f64 (/.f64 (-.f64 x y) (+.f64 z t)) 60))
(fma.f64 (-.f64 x y) (/.f64 60 (+.f64 z t)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)) (*.f64 (neg.f64 a) 120))
(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 120 (neg.f64 a)))
(+.f64 (*.f64 (/.f64 60 (-.f64 z t)) (-.f64 x y)) (*.f64 a -120))
(fma.f64 a -120 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))))
(fma.f64 (-.f64 x y) (/.f64 60 (-.f64 z t)) (*.f64 a -120))
(fma.f64 (-.f64 x y) (/.f64 -60 (-.f64 t z)) (*.f64 a -120))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 (neg.f64 x) y)) (-.f64 z t)) (*.f64 a 120)))
(neg.f64 (+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 z t) (-.f64 (neg.f64 x) y)))))
(-.f64 (*.f64 a -120) (*.f64 (/.f64 60 (-.f64 z t)) (-.f64 (neg.f64 x) y)))
(-.f64 (*.f64 a -120) (*.f64 (/.f64 -60 (-.f64 z t)) (+.f64 x y)))
(fma.f64 a -120 (/.f64 60 (/.f64 (-.f64 z t) (+.f64 x y))))
(fma.f64 (/.f64 -60 (-.f64 t z)) (+.f64 x y) (*.f64 a -120))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 x (neg.f64 y))) (-.f64 z t)) (*.f64 a 120)))
(neg.f64 (+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x (neg.f64 y))))))
(-.f64 (*.f64 a -120) (/.f64 60 (/.f64 (-.f64 z t) (+.f64 x y))))
(fma.f64 a -120 (*.f64 (/.f64 -60 (-.f64 z t)) (+.f64 x y)))
(fma.f64 (/.f64 60 (-.f64 t z)) (+.f64 x y) (*.f64 a -120))
(fma.f64 a -120 (/.f64 (*.f64 60 (+.f64 x y)) (-.f64 t z)))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 (neg.f64 z) t)) (*.f64 a 120)))
(neg.f64 (+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 (neg.f64 z) t) (-.f64 x y)))))
(-.f64 (*.f64 a -120) (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 (neg.f64 z) t)))
(fma.f64 a -120 (*.f64 (/.f64 -60 (+.f64 z t)) (-.f64 y x)))
(fma.f64 a -120 (*.f64 (-.f64 x y) (/.f64 60 (+.f64 z t))))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z (neg.f64 t))) (*.f64 a 120)))
(neg.f64 (+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 z (neg.f64 t)) (-.f64 x y)))))
(-.f64 (*.f64 a -120) (/.f64 (-.f64 x y) (/.f64 (+.f64 z t) 60)))
(fma.f64 a -120 (*.f64 (-.f64 x y) (/.f64 -60 (+.f64 z t))))
(fma.f64 (-.f64 x y) (/.f64 -60 (+.f64 z t)) (*.f64 a -120))
(neg.f64 (+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)) (*.f64 (neg.f64 a) 120)))
(neg.f64 (+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 120 (neg.f64 a))))
(+.f64 (*.f64 a 120) (/.f64 -60 (/.f64 (-.f64 z t) (-.f64 x y))))
(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 y x)) (-.f64 z t)))
(fma.f64 (-.f64 x y) (/.f64 60 (-.f64 t z)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 y x)) (-.f64 z t)) (*.f64 a 120))
(neg.f64 (+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 120 (neg.f64 a))))
(+.f64 (*.f64 a 120) (/.f64 -60 (/.f64 (-.f64 z t) (-.f64 x y))))
(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 y x)) (-.f64 z t)))
(fma.f64 (-.f64 x y) (/.f64 60 (-.f64 t z)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 z y)) (-.f64 x t)) (*.f64 a 120))
(+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 x t) (-.f64 z y))))
(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 z y)) (-.f64 x t)))
(fma.f64 a 120 (*.f64 (-.f64 z y) (/.f64 60 (-.f64 x t))))
(fma.f64 a 120 (*.f64 60 (/.f64 (-.f64 z y) (-.f64 x t))))
(+.f64 (/.f64 (*.f64 60 (-.f64 t y)) (-.f64 z x)) (*.f64 a 120))
(+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 z x) (-.f64 t y))))
(fma.f64 a 120 (*.f64 (/.f64 60 (-.f64 z x)) (-.f64 t y)))
(fma.f64 a 120 (*.f64 (-.f64 t y) (/.f64 60 (-.f64 z x))))
(+.f64 (/.f64 (*.f64 60 (-.f64 a y)) (-.f64 z t)) (*.f64 x 120))
(fma.f64 x 120 (/.f64 (-.f64 a y) (/.f64 (-.f64 z t) 60)))
(fma.f64 x 120 (*.f64 (-.f64 a y) (/.f64 60 (-.f64 z t))))
(fma.f64 x 120 (/.f64 (*.f64 60 (-.f64 a y)) (-.f64 z t)))
(fma.f64 x 120 (*.f64 (-.f64 a y) (/.f64 -60 (-.f64 t z))))
(+.f64 (/.f64 (*.f64 60 (-.f64 x z)) (-.f64 y t)) (*.f64 a 120))
(+.f64 (*.f64 a 120) (/.f64 (*.f64 60 (-.f64 x z)) (-.f64 y t)))
(fma.f64 a 120 (/.f64 (-.f64 x z) (/.f64 (-.f64 y t) 60)))
(fma.f64 a 120 (*.f64 60 (/.f64 (-.f64 x z) (-.f64 y t))))
(+.f64 (/.f64 (*.f64 60 (-.f64 x t)) (-.f64 z y)) (*.f64 a 120))
(+.f64 (*.f64 a 120) (/.f64 60 (/.f64 (-.f64 z y) (-.f64 x t))))
(fma.f64 a 120 (*.f64 (/.f64 60 (-.f64 z y)) (-.f64 x t)))
(fma.f64 a 120 (*.f64 (-.f64 x t) (/.f64 60 (-.f64 z y))))
(+.f64 (/.f64 (*.f64 60 (-.f64 x a)) (-.f64 z t)) (*.f64 y 120))
(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x a))) (*.f64 y 120))
(fma.f64 y 120 (/.f64 (*.f64 60 (-.f64 x a)) (-.f64 z t)))
(fma.f64 y 120 (*.f64 (/.f64 (-.f64 x a) (-.f64 z t)) 60))
(fma.f64 (-.f64 x a) (/.f64 -60 (-.f64 t z)) (*.f64 y 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 t z)) (*.f64 a 120))
(neg.f64 (+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 120 (neg.f64 a))))
(+.f64 (*.f64 a 120) (/.f64 -60 (/.f64 (-.f64 z t) (-.f64 x y))))
(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 y x)) (-.f64 z t)))
(fma.f64 (-.f64 x y) (/.f64 60 (-.f64 t z)) (*.f64 a 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 a t)) (*.f64 z 120))
(fma.f64 z 120 (*.f64 (/.f64 60 (-.f64 a t)) (-.f64 x y)))
(fma.f64 z 120 (*.f64 (-.f64 x y) (/.f64 60 (-.f64 a t))))
(fma.f64 (-.f64 x y) (/.f64 60 (-.f64 a t)) (*.f64 z 120))
(+.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z a)) (*.f64 t 120))
(+.f64 (/.f64 60 (/.f64 (-.f64 z a) (-.f64 x y))) (*.f64 t 120))
(fma.f64 t 120 (*.f64 (/.f64 60 (-.f64 z a)) (-.f64 x y)))
(fma.f64 t 120 (*.f64 (-.f64 x y) (/.f64 60 (-.f64 z a))))
(fma.f64 (-.f64 x y) (/.f64 60 (-.f64 z a)) (*.f64 t 120))
Compiler

Compiled 49 to 23 computations (53.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...