Graphics.Rendering.Chart.Plot.Pie:renderPie from Chart-1.5.3

Time bar (total: 1.3s)

analyze0.0ms (0%)

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

Compiled 7 to 6 computations (14.3% saved)

sample544.0ms (41.6%)

Memory
2.4MiB live, 1 471.8MiB allocated
Samples
246.0ms4 109×1valid
133.0ms4 147×0valid
Precisions
Click to see histograms. Total time spent on operations: 177.0ms
ival-add: 74.0ms (41.8% of total)
ival-sub: 56.0ms (31.6% of total)
adjust: 38.0ms (21.5% of total)
ival-true: 6.0ms (3.4% of total)
ival-assert: 3.0ms (1.7% of total)
Bogosity

preprocess265.0ms (20.2%)

Memory
-4.2MiB live, 116.5MiB allocated
Algorithm
egg-herbie
Rules
1 778×associate-+r+
1 685×fmm-def
794×distribute-lft-in
747×fma-define
719×distribute-rgt-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
020154
147154
214736
339236
473436
5170636
6257836
7375236
8434136
9459836
10464436
11466036
12467636
13467636
14604036
15622836
16625036
17625436
18625836
Stop Event
node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) x)
(-.f64 (+.f64 x y) x)
(-.f64 (+.f64 (neg.f64 x) y) (neg.f64 x))
(-.f64 (+.f64 x (neg.f64 y)) x)
(neg.f64 (-.f64 (+.f64 (neg.f64 x) y) (neg.f64 x)))
(neg.f64 (-.f64 (+.f64 x (neg.f64 y)) x))
(-.f64 (+.f64 y x) y)
Outputs
(-.f64 (+.f64 x y) x)
(+.f64 x (-.f64 y x))
y
(-.f64 (+.f64 x y) x)
(+.f64 x (-.f64 y x))
y
(-.f64 (+.f64 (neg.f64 x) y) (neg.f64 x))
(+.f64 x (-.f64 y x))
y
(-.f64 (+.f64 x (neg.f64 y)) x)
(-.f64 (-.f64 x y) x)
(neg.f64 y)
(neg.f64 (-.f64 (+.f64 (neg.f64 x) y) (neg.f64 x)))
(-.f64 (-.f64 x y) x)
(neg.f64 y)
(neg.f64 (-.f64 (+.f64 x (neg.f64 y)) x))
(+.f64 x (-.f64 y x))
y
(-.f64 (+.f64 y x) y)
(+.f64 y (-.f64 x y))
(+.f64 x (-.f64 y y))
x
Symmetry

(abs x)

(negabs y)

explain61.0ms (4.7%)

Memory
3.6MiB live, 162.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1191(9.432687959872309e+129 7.803116594406259e+127)0-(-.f64 (+.f64 x y) x)
00-0-y
00-0-(+.f64 x y)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (+.f64 x y) x)cancellation1200
Confusion
Predicted +Predicted -
+1190
-1136
Precision
0.9916666666666667
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+11900
-10136
Precision?
0.9916666666666667
Recall?
1.0
Freqs
test
numberfreq
0136
1120
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
15.0ms236×1valid
11.0ms276×0valid
Compiler

Compiled 38 to 20 computations (47.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-add: 4.0ms (41.1% of total)
ival-sub: 3.0ms (30.8% of total)
adjust: 2.0ms (20.5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

eval0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Compiler

Compiled 8 to 4 computations (50% saved)

prune1.0ms (0.1%)

Memory
2.0MiB live, 2.0MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
y
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify6.0ms (0.4%)

Memory
10.0MiB live, 10.0MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
Stop Event
saturated
Calls
Call 1
Inputs
y
Outputs
y

localize6.0ms (0.5%)

Memory
14.9MiB live, 14.9MiB allocated
Samples
4.0ms256×0valid
Compiler

Compiled 3 to 4 computations (-33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

eval0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Memory
3.2MiB live, 3.2MiB allocated
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
y
Compiler

Compiled 11 to 6 computations (45.5% saved)

regimes6.0ms (0.4%)

Memory
-24.8MiB live, 14.2MiB allocated
Accuracy

Total -27.8b remaining (-∞%)

Threshold costs -27.8b (-∞%)

Counts
2 → 1
Calls
Call 1
Inputs
y
(-.f64 (+.f64 x y) x)
Outputs
y
Calls

3 calls:

3.0ms
(-.f64 (+.f64 x y) x)
1.0ms
y
1.0ms
x
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1(-.f64 (+.f64 x y) x)
Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify2.0ms (0.1%)

Memory
4.5MiB live, 4.5MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
Stop Event
saturated
Calls
Call 1
Inputs
y
Outputs
y

soundness390.0ms (29.8%)

Memory
-15.3MiB live, 65.3MiB allocated
Rules
1 778×associate-+r+
1 685×fmm-def
794×distribute-lft-in
747×fma-define
719×distribute-rgt-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
020154
147154
214736
339236
473436
5170636
6257836
7375236
8434136
9459836
10464436
11466036
12467636
13467636
14604036
15622836
16625036
17625436
18625836
Stop Event
done
node limit
Compiler

Compiled 24 to 12 computations (50% saved)

preprocess26.0ms (2%)

Memory
5.6MiB live, 83.4MiB allocated
Remove

(negabs y)

(abs x)

Compiler

Compiled 54 to 36 computations (33.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.1MiB allocated

Profiling

Loading profile data...