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

Time bar (total: 4.9s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze1.0ms (0%)

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 (0.5%)

Memory
0.8MiB live, 8.5MiB allocated
Samples
16.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-mult: 5.0ms (49.4% of total)
ival-div: 2.0ms (19.8% of total)
ival-add: 2.0ms (19.8% of total)
ival-sqrt: 2.0ms (19.8% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain4.8s (98.1%)

Memory
29.8MiB live, 2 851.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1490-1(3.000584168104108e-160 -3.855788564816524e-219 9.428323059324785e-193)(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))
10-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-rescue1420
(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))overflow143
(*.f64 y y)overflow64
(*.f64 x x)overflow65
(*.f64 z z)overflow57
(+.f64 (*.f64 x x) (*.f64 y y))overflow109
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64))overflow142
sqrt.f64(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64)))uflow-rescue60
(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))underflow6
(*.f64 y y)underflow61
(*.f64 x x)underflow55
(*.f64 z z)underflow65
(+.f64 (*.f64 x x) (*.f64 y y))underflow18
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64))underflow6
/.f64(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) #s(literal 3 binary64))o/n10
(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))overflow143
(*.f64 y y)overflow64
(*.f64 x x)overflow65
(+.f64 (*.f64 x x) (*.f64 y y))overflow109
(*.f64 z z)overflow57
Confusion
Predicted +Predicted -
+1491
-0106
Precision
1.0
Recall
0.9933333333333333
Confusion?
Predicted +Predicted MaybePredicted -
+14901
-00106
Precision?
1.0
Recall?
0.9933333333333333
Freqs
test
numberfreq
0107
1149
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
20.674560546875
Average Time
0.08076000213623047
Samples
1.6s23 040×0valid
Compiler

Compiled 8 640 to 2 160 computations (75% saved)

Precisions
Click to see histograms. Total time spent on operations: 952.0ms
ival-mult: 429.0ms (45.1% of total)
ival-add: 187.0ms (19.6% of total)
ival-sqrt: 152.0ms (16% of total)
ival-div: 141.0ms (14.8% of total)
ival-true: 20.0ms (2.1% of total)
exact: 14.0ms (1.5% of total)
ival-assert: 9.0ms (0.9% of total)

preprocess33.0ms (0.7%)

Memory
-0.5MiB live, 7.0MiB 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%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
45.6%
(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)

simplify21.0ms (0.4%)

Memory
-3.0MiB live, 18.4MiB 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)

preprocess14.0ms (0.3%)

Memory
-4.7MiB live, 11.1MiB 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...