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

Time bar (total: 3.5s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze34.0ms (1%)

Memory
-1.6MiB live, 13.8MiB 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
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 (0.5%)

Memory
6.3MiB 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.8% of total)
ival-mult: 2.0ms (33.8% 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

explain2.9s (84%)

Memory
19.5MiB live, 1 716.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
330-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/n330
↳(+.f64 x (*.f64 y (-.f64 z x)))overflow54
↳(*.f64 y (-.f64 z x))overflow54
Confusion
Predicted +Predicted -
+330
-0223
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+3300
-00223
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0223
133
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
14.322021484375
Average Time
0.055945396423339844
Samples
1.1s23 040×0valid
Compiler

Compiled 4 230 to 1 440 computations (66% saved)

Precisions
Click to see histograms. Total time spent on operations: 550.0ms
ival-div: 150.0ms (27.3% of total)
ival-mult: 146.0ms (26.5% of total)
ival-sub: 127.0ms (23.1% of total)
ival-add: 99.0ms (18% of total)
ival-true: 19.0ms (3.5% of total)
ival-assert: 9.0ms (1.6% of total)

preprocess481.0ms (13.9%)

Memory
-4.5MiB live, 26.0MiB allocated
Algorithm
1×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
1×iter limit
1×node limit
1×iter limit
1×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
87.8%
(/.f64 (+.f64 x (*.f64 y (-.f64 z x))) z)
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify19.0ms (0.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1119
2169
3189
4199
Stop Event
1×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
1×fuel
Compiler

Compiled 9 to 7 computations (22.2% saved)

preprocess1.0ms (0%)

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...