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

Time bar (total: 2.1s)

analyze0.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.3s (59.5%)

Results
621.0ms5007×256valid
219.0ms1291×1024valid
215.0ms1121×2048valid
107.0ms836×512valid
0.0ms256valid
Precisions
Click to see histograms. Total time spent on operations: 217.0ms
Operation ival-add, time spent: 111.0ms, 51.0% of total-time
Operation ival-sub, time spent: 89.0ms, 41.0% of total-time
Operation const, time spent: 17.0ms, 8.0% of total-time
Bogosity

preprocess418.0ms (19.6%)

Algorithm
egg-herbie
Rules
1778×associate-+r+
1685×fmm-def
794×distribute-lft-in
747×fma-define
719×distribute-rgt-in
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1290-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
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)

Compiler

Compiled 33 to 14 computations (57.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.0ms
Operation ival-add, time spent: 9.0ms, 58.0% of total-time
Operation ival-sub, time spent: 5.0ms, 32.0% of total-time
Operation const, time spent: 1.0ms, 6.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)

localize13.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%)

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)

regimes4.0ms (0.2%)

Accuracy

Total -29.8b remaining (-∞%)

Threshold costs -29.8b (-∞%)

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

3 calls:

1.0ms
x
1.0ms
y
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%)

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)

soundness399.0ms (18.7%)

Rules
1778×associate-+r+
1685×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
Compiler

Compiled 21 to 10 computations (52.4% saved)

end0.0ms (0%)

preprocess26.0ms (1.2%)

Remove

(negabs y)

(abs x)

Compiler

Compiled 54 to 36 computations (33.3% saved)

Profiling

Loading profile data...