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

Time bar (total: 290.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze97.0ms (33.4%)

Memory
0.6MiB live, 40.9MiB allocated
Algorithm
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 15 to 15 computations (0% saved)

sample25.0ms (8.6%)

Memory
1.7MiB live, 9.2MiB allocated
Samples
15.0ms257×0valid
0.0ms1valid
Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-mult: 3.0ms (34.4% of total)
ival-sub: 3.0ms (34.4% of total)
ival-div: 2.0ms (22.9% of total)
ival-add: 1.0ms (11.5% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain30.0ms (10.2%)

Memory
4.4MiB live, 12.0MiB allocated
Confusion
Predicted +Predicted -
+30
-15238
Precision
0.16666666666666666
Recall
1.0
Samples
16.0ms253×0valid
0.0ms1valid
Compiler

Compiled 41 to 41 computations (0% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-mult: 3.0ms (32.6% of total)
ival-sub: 3.0ms (32.6% of total)
ival-div: 1.0ms (10.9% of total)
ival-add: 1.0ms (10.9% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess115.0ms (39.8%)

Memory
-5.4MiB live, 11.3MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
081279
1196262
2497260
31204260
42823260
56514260
01313
01913
12813
24813
37313
412713
527213
663513
7136413
8220713
9234413
10242713
11244813
12245013
13245813
0245812
Stop Event
iter limit
saturated
iter limit
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)))
Outputs
(+.f64 (/.f64 (*.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
(fma.f64 (/.f64 #s(literal -60 binary64) (-.f64 z t)) (-.f64 y x) (*.f64 #s(literal 120 binary64) a))
Compiler

Compiled 13 to 13 computations (0% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 5 computations (-∞% saved)

prune1.0ms (0.2%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
98.6%
(+.f64 (/.f64 (*.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
Compiler

Compiled 26 to 26 computations (0% saved)

simplify20.0ms (7%)

Memory
2.7MiB live, 18.6MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01313
12013
22813
33213
43413
Stop Event
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)))
(+.f64 (*.f64 #s(literal 120 binary64) a) (/.f64 (*.f64 (-.f64 x y) #s(literal 60 binary64)) (-.f64 z t)))

soundness0.0ms (0.1%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
fuel
Compiler

Compiled 13 to 13 computations (0% saved)

preprocess2.0ms (0.5%)

Memory
1.1MiB live, 1.1MiB allocated
Compiler

Compiled 78 to 78 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...