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

Time bar (total: 1.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze93.0ms (8.4%)

Memory
0.3MiB live, 40.6MiB 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)

sample23.0ms (2.1%)

Memory
1.4MiB live, 8.9MiB allocated
Samples
14.0ms259×0valid
0.0ms3valid
Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-mult: 3.0ms (36.3% of total)
ival-sub: 2.0ms (24.2% of total)
ival-div: 1.0ms (12.1% of total)
ival-add: 1.0ms (12.1% 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

explain858.0ms (77.1%)

Memory
2.5MiB live, 687.6MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
10-0-(/.f64 (*.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t))
00-0-(+.f64 (/.f64 (*.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t)) (*.f64 a #s(literal 120 binary64)))
00-0-#s(literal 120 binary64)
00-0-a
00-0-t
00-0-(*.f64 a #s(literal 120 binary64))
00-0-z
00-0-#s(literal 60 binary64)
00-0-(-.f64 z t)
00-0-y
00-0-(*.f64 #s(literal 60 binary64) (-.f64 x y))
00-0-(-.f64 x y)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64(/.f64 (*.f64 #s(literal 60 binary64) (-.f64 x y)) (-.f64 z t))o/n10
(*.f64 #s(literal 60 binary64) (-.f64 x y))overflow1
Confusion
Predicted +Predicted -
+10
-0255
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+100
-00255
Precision?
1.0
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0255
11
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
6.98291015625
Average Time
0.027276992797851563
Samples
202.0ms3 012×0valid
6.0ms24×3valid
3.0ms24×1valid
2.0ms12×2valid
Compiler

Compiled 1 728 to 648 computations (62.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 104.0ms
ival-mult: 34.0ms (32.8% of total)
ival-sub: 30.0ms (28.9% of total)
ival-div: 18.0ms (17.4% of total)
ival-add: 13.0ms (12.5% of total)
adjust: 3.0ms (2.9% of total)
exact: 3.0ms (2.9% of total)
ival-true: 2.0ms (1.9% of total)
ival-assert: 1.0ms (1% of total)

preprocess113.0ms (10.1%)

Memory
3.5MiB live, 11.4MiB 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.1%)

Memory
0.7MiB live, 0.7MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.4%
(+.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 (1.8%)

Memory
2.6MiB live, 18.5MiB 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%)

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

Compiled 13 to 13 computations (0% saved)

preprocess4.0ms (0.4%)

Memory
-8.3MiB live, 1.2MiB allocated
Compiler

Compiled 78 to 78 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...