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

Time bar (total: 1.6s)

start0.0ms (0%)

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

analyze0.0ms (0%)

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

sample994.0ms (62.8%)

Memory
35.6MiB live, 973.6MiB allocated; 331ms collecting garbage
Samples
286.0ms4 150×0valid
229.0ms2 881×1valid
174.0ms1 225×2valid
Precisions
Click to see histograms. Total time spent on operations: 465.0ms
ival-add: 267.0ms (57.4% of total)
adjust: 130.0ms (27.9% of total)
ival-sub: 66.0ms (14.2% of total)
ival-assert: 3.0ms (0.6% of total)
Bogosity

explain66.0ms (4.2%)

Memory
3.8MiB live, 147.5MiB allocated; 12ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1300-1(-3.020986541130121e-175 -6.083140399668252e-177)(-.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)cancellation1291
Confusion
Predicted +Predicted -
+1291
-0126
Precision
1.0
Recall
0.9923076923076923
Confusion?
Predicted +Predicted MaybePredicted -
+12910
-00126
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0127
1129
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
18.0ms190×1valid
8.0ms256×0valid
8.0ms66×2valid
Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.0ms
adjust: 11.0ms (55.4% of total)
ival-add: 4.0ms (20.1% of total)
ival-sub: 4.0ms (20.1% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess187.0ms (11.8%)

Memory
29.2MiB live, 154.2MiB allocated; 33ms 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.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

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

Compiled 5 to 4 computations (20% saved)

series2.0ms (0.1%)

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

rewrite78.0ms (5%)

Memory
-14.5MiB live, 46.8MiB allocated; 29ms 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))))

eval3.0ms (0.2%)

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

Compiled 470 to 114 computations (75.7% saved)

prune1.0ms (0.1%)

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

Memory
1.4MiB live, 1.4MiB 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
y
@0
((- (+ x y) x) y)
0.0ms
x
@0
((- (+ x y) x) y)

rewrite162.0ms (10.2%)

Memory
-7.1MiB live, 180.1MiB allocated; 29ms 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.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Compiler

Compiled 23 to 7 computations (69.6% saved)

prune1.0ms (0.1%)

Memory
1.9MiB live, 1.9MiB 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.2%)

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

Total -30.2b remaining (-∞%)

Threshold costs -30.2b (-∞%)

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)

simplify61.0ms (3.9%)

Memory
-19.5MiB live, 73.2MiB allocated; 6ms 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
4.2MiB live, 4.2MiB allocated; 0ms collecting garbage
Stop Event
done
Compiler

Compiled 7 to 5 computations (28.6% saved)

preprocess19.0ms (1.2%)

Memory
-13.6MiB live, 32.5MiB allocated; 4ms 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...