Codec.Picture.Types:toneMapping from JuicyPixels-3.2.6.1

Time bar (total: 914.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze21.0ms (2.3%)

Memory
-1.2MiB live, 7.9MiB allocated
Algorithm
1×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
25%25%74.9%0.1%0%0%0%3
37.5%37.5%62.4%0.1%0%0%0%4
56.3%56.2%43.7%0.1%0%0%0%5
65.6%65.6%34.3%0.1%0%0%0%6
76.6%76.5%23.4%0.1%0%0%0%7
82%82%18%0.1%0%0%0%8
87.9%87.8%12.1%0.1%0%0%0%9
90.8%90.7%9.2%0.1%0%0%0%10
93.8%93.8%6.1%0.1%0%0%0%11
95.4%95.3%4.6%0.1%0%0%0%12
Compiler

Compiled 13 to 10 computations (23.1% saved)

sample18.0ms (2%)

Memory
7.1MiB live, 7.1MiB allocated
Samples
11.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-div: 3.0ms (42.3% of total)
ival-add: 2.0ms (28.2% of total)
ival-mult: 1.0ms (14.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

explain685.0ms (74.9%)

Memory
-1.4MiB live, 562.6MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
420-0-(/.f64 (*.f64 x (+.f64 (/.f64 x y) #s(literal 1 binary64))) (+.f64 x #s(literal 1 binary64)))
00-0-(/.f64 x y)
00-0-(+.f64 x #s(literal 1 binary64))
00-0-(*.f64 x (+.f64 (/.f64 x y) #s(literal 1 binary64)))
00-0-y
00-0-#s(literal 1 binary64)
00-0-(+.f64 (/.f64 x y) #s(literal 1 binary64))
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64(/.f64 (*.f64 x (+.f64 (/.f64 x y) #s(literal 1 binary64))) (+.f64 x #s(literal 1 binary64)))o/n420
↳(/.f64 x y)overflow40
↳(*.f64 x (+.f64 (/.f64 x y) #s(literal 1 binary64)))overflow82
↳(+.f64 (/.f64 x y) #s(literal 1 binary64))overflow40
Confusion
Predicted +Predicted -
+420
-0214
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+4200
-00214
Precision?
1.0
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0214
142
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
5.265869140625
Average Time
0.020569801330566406
Samples
159.0ms3 072×0valid
Compiler

Compiled 1 308 to 408 computations (68.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 86.0ms
ival-div: 38.0ms (44.1% of total)
ival-add: 25.0ms (29% of total)
ival-mult: 17.0ms (19.7% of total)
ival-true: 2.0ms (2.3% of total)
exact: 2.0ms (2.3% of total)
adjust: 1.0ms (1.2% of total)
ival-assert: 1.0ms (1.2% of total)

preprocess159.0ms (17.4%)

Memory
6.2MiB live, 6.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02265
18157
220755
368055
4165455
5310955
6444755
7505355
8560955
9605555
10615155
11665355
12706155
13728155
14759355
15781755
16782555
17782555
0811
01311
12611
23511
36311
410011
515711
623811
726911
827511
928911
1029111
1129111
1229211
1329411
1430211
030210
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x (+.f64 (/.f64 x y) #s(literal 1 binary64))) (+.f64 x #s(literal 1 binary64)))
Outputs
(/.f64 (*.f64 x (+.f64 (/.f64 x y) #s(literal 1 binary64))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (fma.f64 (/.f64 x y) x x) (+.f64 #s(literal 1 binary64) x))
Compiler

Compiled 11 to 8 computations (27.3% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune5.0ms (0.5%)

Memory
-7.3MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
84.6%
(/.f64 (*.f64 x (+.f64 (/.f64 x y) #s(literal 1 binary64))) (+.f64 x #s(literal 1 binary64)))
Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify25.0ms (2.7%)

Memory
2.7MiB live, 18.5MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11411
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (*.f64 x (+.f64 (/.f64 x y) #s(literal 1 binary64))) (+.f64 x #s(literal 1 binary64)))
Outputs
(/.f64 (*.f64 x (+.f64 (/.f64 x y) #s(literal 1 binary64))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 x y)) x) (+.f64 #s(literal 1 binary64) x))

soundness0.0ms (0%)

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

Compiled 11 to 8 computations (27.3% saved)

preprocess1.0ms (0.2%)

Memory
1.0MiB live, 1.0MiB allocated
Compiler

Compiled 70 to 50 computations (28.6% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...