Graphics.Rasterific.Shading:$sradialGradientWithFocusShader from Rasterific-0.6.1, B

Time bar (total: 1.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
100%99.8%0%0.2%0%0%0%1
Compiler

Compiled 15 to 13 computations (13.3% saved)

sample22.0ms (1.9%)

Memory
-0.4MiB live, 8.5MiB allocated
Samples
14.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-mult: 6.0ms (74.1% of total)
ival-sub: 2.0ms (24.7% 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

explain853.0ms (76%)

Memory
9.0MiB live, 669.0MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
180-0-(*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))
101(1.2971300334745758e+43 -1.0370906046394609e-168 1.1898454583869038e-160 4.1337894673452395e+230)0-(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)))
00-0-t
00-0-(*.f64 y #s(literal 4 binary64))
00-0-z
00-0-#s(literal 4 binary64)
00-0-(*.f64 x x)
00-0-(*.f64 z z)
00-0-y
03(6.938342852726439e+109 4.356275470544952e-285 3.864059944102022e-133 1.1743786478444476e-295)0-(-.f64 (*.f64 z z) t)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
*.f64(*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))n*o180
-.f64(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)))nan-rescue100
(*.f64 x x)overflow61
(*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))overflow88
(-.f64 (*.f64 z z) t)overflow77
(*.f64 z z)overflow77
-.f64(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)))cancellation10
-.f64(-.f64 (*.f64 z z) t)cancellation10
Confusion
Predicted +Predicted -
+260
-4226
Precision
0.8666666666666667
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+2600
-40226
Precision?
0.8666666666666667
Recall?
1.0
Freqs
test
numberfreq
0226
130
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
6.07470703125
Average Time
0.023729324340820313
Samples
196.0ms3 072×0valid
Compiler

Compiled 1 656 to 552 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 101.0ms
ival-mult: 70.0ms (69.3% of total)
ival-sub: 25.0ms (24.8% of total)
ival-true: 2.0ms (2% of total)
exact: 2.0ms (2% of total)
adjust: 1.0ms (1% of total)
ival-assert: 1.0ms (1% of total)

preprocess218.0ms (19.4%)

Memory
-4.2MiB live, 11.2MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
052190
1167186
2599182
32702182
44916182
56296182
66716182
76825182
86842182
97198182
107372182
117372182
127372182
137372182
01113
01713
12813
27913
328713
467713
5119013
6180713
7211413
8216813
9217413
10217413
0217412
Stop Event
iter limit
saturated
iter limit
node limit
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)))
Outputs
(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)))
(fma.f64 (*.f64 (-.f64 t (*.f64 z z)) y) #s(literal 4 binary64) (*.f64 x x))
Symmetry

(abs z)

(abs x)

Compiler

Compiled 13 to 11 computations (15.4% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
90.2%
(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)))
Compiler

Compiled 26 to 22 computations (15.4% saved)

simplify25.0ms (2.2%)

Memory
1.7MiB live, 18.8MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
12013
24113
35713
48413
511113
612813
719513
835513
945513
Stop Event
saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)))
Outputs
(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t)))
(-.f64 (*.f64 x x) (*.f64 (-.f64 (*.f64 z z) t) (*.f64 #s(literal 4 binary64) y)))

soundness0.0ms (0%)

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

Compiled 13 to 11 computations (15.4% saved)

preprocess5.0ms (0.4%)

Memory
3.6MiB live, 3.6MiB allocated
Remove

(abs x)

(abs z)

Compiler

Compiled 182 to 154 computations (15.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...