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

analyze35.0ms (3%)

Memory
4.8MiB live, 13.9MiB 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)

sample18.0ms (1.5%)

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

explain598.0ms (50.8%)

Memory
0.8MiB live, 461.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
250-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/n250
(+.f64 x (*.f64 y (-.f64 z x)))overflow50
(*.f64 y (-.f64 z x))overflow50
Confusion
Predicted +Predicted -
+250
-0231
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+2500
-00231
Precision?
1.0
Recall?
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0231
125
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
5.041259765625
Average Time
0.019692420959472656
Samples
146.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.2% of total)
ival-mult: 18.0ms (25.8% of total)
ival-sub: 16.0ms (22.9% of total)
ival-add: 13.0ms (18.6% of total)
ival-true: 2.0ms (2.9% of total)
adjust: 1.0ms (1.4% of total)
ival-assert: 1.0ms (1.4% of total)

preprocess496.0ms (42.2%)

Memory
4.8MiB 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.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
90.7%
(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify28.0ms (2.4%)

Memory
-3.8MiB 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...