Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

Time bar (total: 1.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze1.0ms (0.1%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
100%99.9%0%0.1%0%0%0%4
Compiler

Compiled 16 to 13 computations (18.8% saved)

sample23.0ms (2.1%)

Memory
-0.1MiB live, 8.7MiB allocated
Samples
15.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-mult: 5.0ms (50.2% of total)
ival-div: 2.0ms (20.1% of total)
ival-add: 2.0ms (20.1% of total)
ival-sqrt: 2.0ms (20.1% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain994.0ms (91%)

Memory
11.5MiB live, 750.2MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1540-1(-3.2304174664500454e-276 9.135316708960215e-157 2.3711166631325256e-157)(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))
00-0-(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64))
00-0-#s(literal 3 binary64)
00-0-z
00-0-(*.f64 x x)
00-0-(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))
00-0-(+.f64 (*.f64 x x) (*.f64 y y))
00-0-(*.f64 z z)
00-0-y
00-0-(*.f64 y y)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))oflow-rescue1500
(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))overflow150
(*.f64 y y)overflow67
(*.f64 x x)overflow63
(*.f64 z z)overflow73
(+.f64 (*.f64 x x) (*.f64 y y))overflow112
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64))overflow150
sqrt.f64(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))uflow-rescue30
(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))underflow3
(*.f64 y y)underflow62
(*.f64 x x)underflow59
(*.f64 z z)underflow59
(+.f64 (*.f64 x x) (*.f64 y y))underflow16
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64))underflow3
Confusion
Predicted +Predicted -
+1531
-0102
Precision
1.0
Recall
0.9935064935064936
Confusion?
Predicted +Predicted MaybePredicted -
+15301
-00102
Precision?
1.0
Recall?
0.9935064935064936
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0103
1153
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
6.201416015625
Average Time
0.024224281311035156
Samples
210.0ms3 072×0valid
Compiler

Compiled 2 280 to 552 computations (75.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 120.0ms
ival-mult: 55.0ms (46% of total)
ival-add: 23.0ms (19.2% of total)
ival-div: 18.0ms (15.1% of total)
ival-sqrt: 18.0ms (15.1% of total)
ival-true: 2.0ms (1.7% of total)
exact: 2.0ms (1.7% of total)
adjust: 1.0ms (0.8% of total)
ival-assert: 1.0ms (0.8% of total)

preprocess33.0ms (3%)

Memory
-0.4MiB live, 6.9MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
040129
176129
2155129
3321129
4583129
5941129
61271129
71286129
01114
01814
12214
22914
33114
03112
Stop Event
iter limit
saturated
iter limit
saturated
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))
Outputs
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))
(sqrt.f64 (/.f64 (fma.f64 z z (fma.f64 y y (*.f64 x x))) #s(literal 3 binary64)))
Symmetry

(abs z)

(abs y)

(abs x)

(sort x y z)

Compiler

Compiled 14 to 11 computations (21.4% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
44.3%
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))
Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify25.0ms (2.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01114
11314
Stop Event
saturated
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))
Outputs
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))
(sqrt.f64 (/.f64 (+.f64 (*.f64 z z) (+.f64 (*.f64 y y) (*.f64 x x))) #s(literal 3 binary64)))

soundness0.0ms (0%)

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

Compiled 14 to 11 computations (21.4% saved)

preprocess15.0ms (1.3%)

Memory
3.2MiB live, 11.0MiB allocated
Remove

(sort x y z)

(abs x)

(abs y)

(abs z)

Compiler

Compiled 344 to 266 computations (22.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...