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

Time bar (total: 2.7s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

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

sample15.0ms (0.6%)

Memory
-1.7MiB live, 5.9MiB allocated
Samples
10.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 5.0ms
ival-mult: 3.0ms (60.6% of total)
ival-sub: 1.0ms (20.2% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain2.6s (96.7%)

Memory
26.6MiB live, 1 439.6MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
40-0-(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
00-0-y
00-0-#s(literal 1 binary64)
00-0-(*.f64 y z)
00-0-z
00-0-(-.f64 #s(literal 1 binary64) (*.f64 y z))
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
*.f64(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))n*o40
Confusion
Predicted +Predicted -
+40
-0252
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+400
-00252
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0252
14
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
13.873046875
Average Time
0.05419158935546875
Samples
1.0s23 040×0valid
Compiler

Compiled 3 060 to 1 440 computations (52.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 441.0ms
ival-mult: 294.0ms (66.7% of total)
ival-sub: 104.0ms (23.6% of total)
ival-true: 20.0ms (4.5% of total)
exact: 13.0ms (3% of total)
ival-assert: 9.0ms (2% of total)

preprocess40.0ms (1.5%)

Memory
0.6MiB live, 8.1MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02870
19065
218663
350463
483163
5105663
6106563
077
0107
1197
2367
3747
41947
52517
63037
74017
84617
95497
105637
05637
Stop Event
iter limit
saturated
iter limit
saturated
Calls
Call 1
Inputs
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
(*.f64 (-.f64 #s(literal 1 binary64) (*.f64 z y)) x)
Symmetry

(negabs x)

(sort y z)

Compiler

Compiled 7 to 7 computations (0% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
98.4%
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
Compiler

Compiled 14 to 14 computations (0% saved)

simplify24.0ms (0.9%)

Memory
-17.0MiB live, 18.5MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1177
2287
3347
4387
5397
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
(*.f64 (-.f64 #s(literal 1 binary64) (*.f64 z y)) x)

soundness0.0ms (0%)

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

Compiled 7 to 7 computations (0% saved)

preprocess8.0ms (0.3%)

Memory
4.0MiB live, 4.0MiB allocated
Remove

(sort y z)

(negabs x)

Compiler

Compiled 84 to 84 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...