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

Time bar (total: 1.4s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
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)

sample828.0ms (57.8%)

Memory
16.7MiB live, 866.1MiB allocated; 132ms collecting garbage
Samples
261.0ms2 968×1valid
181.0ms1 080×2valid
171.0ms4 208×0valid
Precisions
Click to see histograms. Total time spent on operations: 312.0ms
adjust: 124.0ms (39.7% of total)
ival-add: 117.0ms (37.5% of total)
ival-sub: 68.0ms (21.8% of total)
ival-assert: 3.0ms (1% of total)
Bogosity

explain73.0ms (5.1%)

Memory
-2.8MiB live, 90.4MiB allocated; 6ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1200-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 -
+1200
-0136
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+12000
-00136
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0136
1120
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
28.0ms184×1valid
10.0ms276×0valid
6.0ms52×2valid
Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.0ms
adjust: 21.0ms (69.5% of total)
ival-add: 4.0ms (13.2% of total)
ival-sub: 4.0ms (13.2% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess183.0ms (12.8%)

Memory
-1.4MiB live, 225.0MiB allocated; 32ms collecting garbage
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01432
12532
24120
3608
41008
59828
620098
738968
045
065
195
2123
3151
4171
5671
62101
77931
814331
942721
090651
Stop Event
iter limit
node limit
iter limit
node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) x)
Outputs
(-.f64 (+.f64 x y) x)
y
Symmetry

(abs x)

(negabs y)

Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
56.2%
(-.f64 (+.f64 x y) x)
Compiler

Compiled 5 to 4 computations (20% saved)

series2.0ms (0.2%)

Memory
3.8MiB live, 3.8MiB allocated; 0ms collecting garbage
Counts
4 → 10
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) x)
(+.f64 x y)
x
y
Outputs
#s(approx (- (+ x y) x) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx x #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@-inf
((- (+ x y) x) (+ x y) x y)
1.0ms
x
@-inf
((- (+ x y) x) (+ x y) x y)
0.0ms
x
@inf
((- (+ x y) x) (+ x y) x y)
0.0ms
y
@inf
((- (+ x y) x) (+ x y) x y)
0.0ms
x
@0
((- (+ x y) x) (+ x y) x y)

rewrite77.0ms (5.4%)

Memory
7.7MiB live, 67.4MiB allocated; 27ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03292
03388
114088
0109986
Stop Event
iter limit
iter limit
node limit
iter limit
Counts
14 → 34
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) x)
(+.f64 x y)
x
y
#s(approx (- (+ x y) x) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx x #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
Outputs
(/.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 y x) (-.f64 y x))) (-.f64 x (-.f64 y x)))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (-.f64 y x) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (*.f64 x (-.f64 y x)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 x x))) (neg.f64 (+.f64 (+.f64 y x) x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x (+.f64 (+.f64 y x) x) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (*.f64 x x)) (+.f64 (+.f64 y x) x))
(/.f64 (-.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x (+.f64 (+.f64 y x) x) (pow.f64 (+.f64 y x) #s(literal 2 binary64))))
(-.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 2 binary64)) (+.f64 (+.f64 y x) x)) (/.f64 (*.f64 x x) (+.f64 (+.f64 y x) x)))
(-.f64 (/.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) (fma.f64 x (+.f64 (+.f64 y x) x) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x (+.f64 (+.f64 y x) x) (pow.f64 (+.f64 y x) #s(literal 2 binary64)))))
(-.f64 (+.f64 y x) x)
(+.f64 (-.f64 y x) x)
(+.f64 y (-.f64 x x))
(+.f64 x (-.f64 y x))
(/.f64 (-.f64 (*.f64 y y) (*.f64 x x)) (-.f64 y x))
(/.f64 (neg.f64 (*.f64 (+.f64 y x) (-.f64 x y))) (neg.f64 (-.f64 x y)))
(/.f64 (neg.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 y (-.f64 y x) (*.f64 x x))))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (-.f64 x y))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 y y (-.f64 (*.f64 x x) (*.f64 y x))))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(-.f64 (/.f64 (*.f64 x x) (-.f64 x y)) (/.f64 (*.f64 y y) (-.f64 x y)))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))))
(+.f64 y x)
(+.f64 x y)
x
y
#s(approx (- (+ x y) x) y)
#s(approx (+ x y) y)
#s(approx (+ x y) (+.f64 y x))
#s(approx x x)
#s(approx (+ x y) x)
#s(approx (+ x y) (fma.f64 (/.f64 y x) x x))
#s(approx (+ x y) (*.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (/.f64 y x) #s(literal -1 binary64))))
#s(approx y y)
#s(approx (+ x y) (fma.f64 (/.f64 x y) y y))
#s(approx (+ x y) (*.f64 (neg.f64 y) (fma.f64 (/.f64 x y) #s(literal -1 binary64) #s(literal -1 binary64))))

eval6.0ms (0.4%)

Memory
-43.0MiB live, 5.4MiB allocated; 5ms collecting garbage
Compiler

Compiled 470 to 114 computations (75.7% saved)

prune2.0ms (0.1%)

Memory
2.9MiB live, 2.9MiB allocated; 0ms collecting garbage
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New35136
Fresh000
Picked101
Done000
Total36137
Accuracy
100.0%
Counts
37 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
#s(approx (- (+ x y) x) y)
Compiler

Compiled 7 to 5 computations (28.6% saved)

series1.0ms (0.1%)

Memory
1.2MiB live, 1.2MiB allocated; 0ms collecting garbage
Counts
2 → 2
Calls
Call 1
Inputs
#s(approx (- (+ x y) x) y)
y
Outputs
#s(approx (- (+ x y) x) #s(hole binary64 y))
#s(approx y #s(hole binary64 y))
Calls

6 calls:

TimeVariablePointExpression
0.0ms
y
@-inf
((- (+ x y) x) y)
0.0ms
y
@inf
((- (+ x y) x) y)
0.0ms
x
@inf
((- (+ x y) x) y)
0.0ms
x
@0
((- (+ x y) x) y)
0.0ms
y
@0
((- (+ x y) x) y)

rewrite168.0ms (11.7%)

Memory
18.6MiB live, 155.3MiB allocated; 22ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0618
0618
13218
227514
3436114
0851914
Stop Event
iter limit
node limit
saturated
Counts
4 → 4
Calls
Call 1
Inputs
#s(approx (- (+ x y) x) y)
y
#s(approx (- (+ x y) x) #s(hole binary64 y))
#s(approx y #s(hole binary64 y))
Outputs
#s(approx (- (+ x y) x) y)
y
#s(approx (- (+ x y) x) y)
#s(approx y y)

eval0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Compiler

Compiled 23 to 7 computations (69.6% saved)

prune1.0ms (0.1%)

Memory
1.6MiB live, 1.6MiB allocated; 0ms collecting garbage
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New303
Fresh000
Picked011
Done000
Total314
Accuracy
100.0%
Counts
4 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
#s(approx (- (+ x y) x) y)
Compiler

Compiled 19 to 12 computations (36.8% saved)

regimes4.0ms (0.3%)

Memory
7.2MiB live, 7.2MiB allocated; 0ms collecting garbage
Accuracy

Total -28.1b remaining (-∞%)

Threshold costs -28.1b (-∞%)

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

3 calls:

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

Compiled 7 to 8 computations (-14.3% saved)

simplify67.0ms (4.7%)

Memory
-3.2MiB live, 41.7MiB allocated; 8ms collecting garbage
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
057
187
2115
3143
4173
5723
62133
78343
815993
925053
1053403
Stop Event
node limit
Calls
Call 1
Inputs
#s(approx (- (+ x y) x) y)
Outputs
#s(approx (- (+ x y) x) y)

derivations3.0ms (0.2%)

Memory
2.7MiB live, 2.7MiB allocated; 0ms collecting garbage
Stop Event
done
Compiler

Compiled 7 to 5 computations (28.6% saved)

preprocess17.0ms (1.2%)

Memory
25.1MiB live, 25.1MiB allocated; 0ms collecting garbage
Remove

(negabs y)

(abs x)

Compiler

Compiled 58 to 46 computations (20.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...