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

Time bar (total: 2.2s)

start0.0ms (0%)

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

analyze0.0ms (0%)

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

sample1.5s (68.4%)

Memory
-50.3MiB live, 860.1MiB allocated; 1.3s collecting garbage
Samples
704.0ms1 143×2valid
384.0ms2 900×1valid
114.0ms4 213×0valid
Precisions
Click to see histograms. Total time spent on operations: 834.0ms
ival-sub!: 620.0ms (74.3% of total)
ival-add!: 132.0ms (15.8% of total)
adjust: 82.0ms (9.8% of total)
Bogosity

explain53.0ms (2.4%)

Memory
21.6MiB live, 69.0MiB allocated; 8ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1320-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)cancellation1320
Confusion
Predicted +Predicted -
+1320
-0124
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+13200
-00124
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0124
1132
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
10.0ms248×0valid
9.0ms178×1valid
6.0ms86×2valid
Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
adjust: 5.0ms (54% of total)
ival-add!: 3.0ms (32.4% of total)
ival-sub!: 2.0ms (21.6% of total)

preprocess236.0ms (10.8%)

Memory
-25.1MiB live, 163.0MiB allocated; 25ms 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.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
51.6%
(-.f64 (+.f64 x y) x)
Compiler

Compiled 5 to 4 computations (20% saved)

series2.0ms (0.1%)

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

rewrite69.0ms (3.1%)

Memory
-6.2MiB live, 39.5MiB allocated; 3ms 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.1%)

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

Compiled 470 to 114 computations (75.7% saved)

prune1.0ms (0.1%)

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

rewrite242.0ms (11%)

Memory
-4.8MiB live, 187.8MiB allocated; 71ms 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%)

Memory
1.2MiB live, 1.2MiB 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
6.2MiB live, 6.2MiB allocated; 0ms collecting garbage
Accuracy

Total -31.0b remaining (-∞%)

Threshold costs -31b (-∞%)

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)

simplify59.0ms (2.7%)

Memory
7.5MiB live, 53.8MiB allocated; 3ms 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.1%)

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

Compiled 7 to 5 computations (28.6% saved)

preprocess19.0ms (0.9%)

Memory
-26.6MiB live, 27.5MiB allocated; 6ms collecting garbage
Remove

(negabs y)

(abs x)

Compiler

Compiled 52 to 38 computations (26.9% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...