Metrics for Cancel like terms

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 7 to 5 computations (28.6% 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.1s (85.2%)

Results

374.0ms	5258×	256	valid
248.0ms	1936×	1024	valid
160.0ms	1061×	512	valid
0.0ms	1×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 181.0ms

Operation ival-add, time spent: 87.0ms, 48.0% of total-time

Operation ival-sub, time spent: 75.0ms, 41.0% of total-time

Operation const, time spent: 19.0ms, 10.0% of total-time

Bogosity

preprocess128.0ms (10.4%)

Algorithm

1×	egg-herbie

Rules

56×	`fma-neg`
42×	`sub-neg`
26×	`fma-define`
20×	`distribute-lft-neg-in`
20×	`associate-+l-`

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
122	9	(233720.83045372216)	-	`(-.f64 (+.f64 1 x) x)`
0	0	-	-	`x`
0	0	-	-	`(+.f64 1 x)`
0	0	-	-	`1`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (+.f64 1 x) x)`	cancellation	131

Confusion

	Predicted +	Predicted -
+	122	0
-	9	125

Precision

0.9312977099236641

Recall

1.0

FPDebug

Click to see full error table

pt	expls
(28769772989845.348)	(cancellation)
(26071.07214918788)	(cancellation)
(13956757413360.842)	(cancellation)
(2980836876.200729)	(cancellation)
(973833.7370177042)	(cancellation)
(2166999008107.1084)	(cancellation)
(2268490793157102.0)	(cancellation)
(3182.301368681485)	(cancellation)
(233720.83045372216)	(cancellation)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	84
1	33	4
2	91	4
3	130	4
4	177	4
5	203	4
6	215	4
7	219	4

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 1 x) x)
(-.f64 (+.f64 1 x) x)
(-.f64 (+.f64 1 (neg.f64 x)) (neg.f64 x))
(neg.f64 (-.f64 (+.f64 1 (neg.f64 x)) (neg.f64 x)))

Outputs
(-.f64 (+.f64 1 x) x)
(+.f64 1 (-.f64 x x))
1
(-.f64 (+.f64 1 x) x)
(+.f64 1 (-.f64 x x))
1
(-.f64 (+.f64 1 (neg.f64 x)) (neg.f64 x))
(+.f64 1 (-.f64 x x))
1
(neg.f64 (-.f64 (+.f64 1 (neg.f64 x)) (neg.f64 x)))
(neg.f64 (-.f64 (-.f64 1 x) (neg.f64 x)))
-1

Symmetry

(abs x)

Compiler

Compiled 36 to 24 computations (33.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 16.0ms

Operation ival-add, time spent: 9.0ms, 56.0% of total-time

Operation ival-sub, time spent: 5.0ms, 31.0% of total-time

Operation const, time spent: 2.0ms, 12.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	1

Compiler

Compiled 2 to 2 computations (0% saved)

localize12.0ms (0.9%)

Compiler: Compiled 3 to 3 computations (0% 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 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Accuracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	1

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes5.0ms (0.4%)

Accuracy

Total -29.6b remaining (-∞%)

Threshold costs -29.6b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
1
(-.f64 (+.f64 1 x) x)

Outputs
1

Calls

2 calls:

3.0ms	x
2.0ms	(-.f64 (+.f64 1 x) x)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(-.f64 (+.f64 1 x) x)`

Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3× 1-exp

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
1	8	1

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
1

Outputs
1

Compiler

Compiled 2 to 2 computations (0% saved)

soundness16.0ms (1.3%)

Rules

56×	`fma-neg`
42×	`sub-neg`
26×	`fma-define`
20×	`distribute-lft-neg-in`
20×	`associate-+l-`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	84
1	33	4
2	91	4
3	130	4
4	177	4
5	203	4
6	215	4
7	219	4

Stop Event

1×

saturated

Compiler

Compiled 15 to 11 computations (26.7% saved)

end0.0ms (0%)

preprocess19.0ms (1.5%)

Remove: (abs x)
Compiler: Compiled 24 to 20 computations (16.7% saved)

analyze0.0ms (0%)

sample1.1s (85.2%)

preprocess128.0ms (10.4%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize12.0ms (0.9%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes5.0ms (0.4%)

simplify2.0ms (0.2%)

soundness16.0ms (1.3%)

end0.0ms (0%)

preprocess19.0ms (1.5%)

Profiling