Diagrams.Backend.Rasterific:rasterificRadialGradient from diagrams-rasterific-1.3.1.3

Time bar (total: 1.2s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze34.0ms (2.9%)

Memory
4.8MiB live, 13.8MiB 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
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
50%49.9%49.9%0.1%0%0%0%6
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
75%74.9%25%0.1%0%0%0%9
87.5%87.4%12.5%0.1%0%0%0%10
87.5%87.4%12.5%0.1%0%0%0%11
87.5%87.4%12.5%0.1%0%0%0%12
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample17.0ms (1.5%)

Memory
-1.4MiB live, 6.3MiB allocated
Samples
11.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-div: 2.0ms (33.7% of total)
ival-mult: 2.0ms (33.7% of total)
ival-sub: 1.0ms (16.9% of total)
ival-add: 1.0ms (16.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain581.0ms (49.5%)

Memory
6.0MiB live, 459.4MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
270-0-(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
00-0-(+.f64 x (*.f64 y (-.f64 z x)))
00-0-y
00-0-(*.f64 y (-.f64 z x))
00-0-(-.f64 z x)
00-0-z
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)o/n270
(+.f64 x (*.f64 y (-.f64 z x)))overflow53
(*.f64 y (-.f64 z x))overflow53
Confusion
Predicted +Predicted -
+270
-0229
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+2700
-00229
Precision?
1.0
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0229
127
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
4.831298828125
Average Time
0.01887226104736328
Samples
144.0ms3 072×0valid
Compiler

Compiled 1 104 to 360 computations (67.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 70.0ms
ival-div: 19.0ms (27.3% of total)
ival-mult: 19.0ms (27.3% of total)
ival-sub: 16.0ms (23% of total)
ival-add: 12.0ms (17.2% of total)
ival-true: 2.0ms (2.9% of total)
ival-assert: 1.0ms (1.4% of total)

preprocess509.0ms (43.4%)

Memory
-3.2MiB live, 26.0MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03394
18084
219981
372781
4207881
5486281
6628581
7682881
8707381
9712481
10712881
11726281
12759881
13771281
14775881
15777281
16778481
17778681
18778681
079
0119
1159
2269
3509
4869
51359
62399
74849
813269
928499
1037959
1142579
1245209
1346519
1446669
1561689
1666449
1769089
1870509
1971729
2071729
2174499
2275559
2375559
2476959
081438
Stop Event
iter limit
node limit
iter limit
node limit
Calls
Call 1
Inputs
(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
Outputs
(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
(/.f64 (fma.f64 (-.f64 z x) y x) z)
Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB 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
90.0%
(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify31.0ms (2.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1119
2169
3189
4199
Stop Event
saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
Outputs
(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
(/.f64 (+.f64 (*.f64 (-.f64 z x) y) x) z)

soundness0.0ms (0%)

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

Compiled 9 to 7 computations (22.2% saved)

preprocess1.0ms (0.1%)

Memory
0.9MiB live, 0.9MiB allocated
Compiler

Compiled 58 to 44 computations (24.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...