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

Time bar (total: 1.8s)

analyze0.0ms (0%)

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

sample988.0ms (55.8%)

Memory
13.0MiB live, 833.3MiB allocated
Samples
453.0ms3 979×1valid
179.0ms4 277×0valid
Precisions
Click to see histograms. Total time spent on operations: 220.0ms
ival-sub: 103.0ms (46.9% of total)
ival-add: 72.0ms (32.8% of total)
adjust: 37.0ms (16.8% of total)
ival-true: 5.0ms (2.3% of total)
ival-assert: 3.0ms (1.4% of total)
Bogosity

preprocess270.0ms (15.2%)

Memory
-9.9MiB live, 110.4MiB 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 (3.5%)

Memory
21.0MiB live, 97.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1260-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)cancellation1260
Confusion
Predicted +Predicted -
+1260
-0130
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+12600
-00130
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0130
1126
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
15.0ms240×1valid
9.0ms272×0valid
Compiler

Compiled 38 to 20 computations (47.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0ms
ival-add: 5.0ms (46.3% of total)
ival-sub: 3.0ms (27.8% of total)
adjust: 2.0ms (18.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%)

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

Compiled 3 to 2 computations (33.3% saved)

simplify5.0ms (0.3%)

Memory
9.8MiB live, 9.9MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

localize9.0ms (0.5%)

Memory
-22.9MiB live, 14.5MiB allocated
Samples
7.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.4MiB live, 0.4MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

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

regimes5.0ms (0.3%)

Memory
12.1MiB live, 12.1MiB allocated
Accuracy

Total -28.8b remaining (-∞%)

Threshold costs -28.8b (-∞%)

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

3 calls:

1.0ms
y
1.0ms
x
1.0ms
(-.f64 (+.f64 x y) 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
3.4MiB live, 3.4MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

soundness399.0ms (22.5%)

Memory
-34.8MiB live, 54.0MiB 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)

preprocess30.0ms (1.7%)

Memory
9.1MiB live, 85.0MiB allocated
Remove

(negabs y)

(abs x)

Compiler

Compiled 54 to 36 computations (33.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...