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

Time bar (total: 2.1s)

analyze1.0ms (0%)

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 8 to 5 computations (37.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Operation ival-sub, time spent: 0.0ms, 0.0% of total-time
Operation ival-add, time spent: 0.0ms, 0.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.2s (56.3%)

Results
401.0ms4902×256valid
404.0ms1415×1024valid
192.0ms1073×2048valid
101.0ms863×512valid
0.0ms4096valid
0.0ms256valid
Precisions
Click to see histograms. Total time spent on operations: 208.0ms
Operation ival-add, time spent: 102.0ms, 49.0% of total-time
Operation ival-sub, time spent: 92.0ms, 44.0% of total-time
Operation const, time spent: 15.0ms, 7.0% of total-time
Bogosity

preprocess439.0ms (21.3%)

Algorithm
egg-herbie
Rules
3520×associate-+r+
2738×fma-neg
2146×fma-def
1588×distribute-lft-in
1438×distribute-rgt-in
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1190-0-(-.f64 (+.f64 x y) x)
00-0-x
00-0-(+.f64 x y)
00-0-y
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
020154
147154
214736
339436
473136
5170136
6257336
7374936
8433836
9459536
10464136
11465736
12467336
13467336
14603736
15622936
16625136
17625536
18625936
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)

Compiler

Compiled 33 to 14 computations (57.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 116.0ms
Operation ival-sub, time spent: 60.0ms, 52.0% of total-time
Operation ival-add, time spent: 55.0ms, 48.0% of total-time
Operation const, time spent: 1.0ms, 1.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 8 to 4 computations (50% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
y
Compiler

Compiled 3 to 2 computations (33.3% saved)

localize12.0ms (0.6%)

Compiler

Compiled 4 to 3 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Operation const, time spent: 0.0ms, 0.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

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)

regimes16.0ms (0.8%)

Accuracy

Total -27.1b remaining (-∞%)

Threshold costs -27.1b (-∞%)

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

3 calls:

11.0ms
x
3.0ms
y
2.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%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

Compiled 3 to 2 computations (33.3% saved)

soundness398.0ms (19.3%)

Rules
3520×associate-+r+
2738×fma-neg
2146×fma-def
1588×distribute-lft-in
1438×distribute-rgt-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
020154
147154
214736
339436
473136
5170136
6257336
7374936
8433836
9459536
10464136
11465736
12467336
13467336
14603736
15622936
16625136
17625536
18625936
Stop Event
node limit
Compiler

Compiled 21 to 10 computations (52.4% saved)

end0.0ms (0%)

preprocess30.0ms (1.5%)

Remove

(negabs y)

(abs x)

Compiler

Compiled 54 to 36 computations (33.3% saved)

Profiling

Loading profile data...