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)

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	128	2	0.0ms
ival-add	128	1	0.0ms
ival-sub	128	1	0.0ms

sample904.0ms (85.2%)

Results

465.0ms	5338×	body	256	valid
426.0ms	2918×	body	512	valid

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	1556	218	0.0ms
const	1400-1500	419	0.0ms
const	1300-1400	385	0.0ms
const	1200-1300	385	0.0ms
const	1100-1200	375	0.0ms
const	1000-1100	290	0.0ms
const	1024	4	0.0ms
const	1000-1100	96	0.0ms
const	900-1000	387	0.0ms
const	800-900	359	0.0ms
const	512	2918	3.0ms
const	256	16512	17.0ms
ival-add	1556	218	1.0ms
ival-add	1400-1500	419	3.0ms
ival-add	1300-1400	385	2.0ms
ival-add	1200-1300	385	2.0ms
ival-add	1100-1200	375	2.0ms
ival-add	1000-1100	290	2.0ms
ival-add	1024	4	0.0ms
ival-add	1000-1100	96	1.0ms
ival-add	900-1000	387	2.0ms
ival-add	800-900	359	2.0ms
ival-add	256	8256	63.0ms
ival-sub	512	2918	16.0ms
ival-sub	256	8256	53.0ms

Bogosity

preprocess57.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

66×	`fma-def`
42×	`sub-neg`
22×	`associate-+l-`
20×	`distribute-lft-neg-in`
16×	`fma-neg`

Problems

129×	`(-.f64 (+.f64 1 x) x)`
127×	No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	84
1	30	4
2	88	4
3	127	4
4	175	4
5	201	4
6	213	4
7	217	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 18 to 12 computations (33.3% saved)

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	1523	5	0.0ms
const	1400-1500	11	0.0ms
const	1300-1400	17	0.0ms
const	1200-1300	10	0.0ms
const	1100-1200	9	0.0ms
const	1000-1100	12	0.0ms
const	900-1000	9	0.0ms
const	800-900	17	0.0ms
const	512	270	0.0ms
const	256	1024	1.0ms
ival-add	1523	5	0.0ms
ival-add	1400-1500	11	0.0ms
ival-add	1300-1400	17	0.0ms
ival-add	1200-1300	10	0.0ms
ival-add	1100-1200	9	0.0ms
ival-add	1000-1100	12	0.0ms
ival-add	900-1000	9	0.0ms
ival-add	800-900	17	0.0ms
ival-add	512	90	1.0ms
ival-add	256	512	3.0ms
ival-sub	512	90	1.0ms
ival-sub	256	256	2.0ms

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
	100.0%	1

Compiler

Compiled 4 to 4 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
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
	100.0%	1

Compiler

Compiled 4 to 4 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
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
	100.0%	1

Compiler

Compiled 4 to 4 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
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
	100.0%	1

Compiler

Compiled 4 to 4 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
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)

regimes6.0ms (0.6%)

Accuracy

Total -31.2b remaining (-∞%)

Threshold costs -31.2b (-∞%)

Counts

2 → 1

Calls

Call 1

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

Outputs
1

Calls

2 calls:

4.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 15 to 10 computations (33.3% saved)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2× 1-exp

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
1	5	1

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
1

Outputs
1

Compiler

Compiled 2 to 2 computations (0% saved)

soundness12.0ms (1.1%)

Rules

66×	`fma-def`
42×	`sub-neg`
22×	`associate-+l-`
20×	`distribute-lft-neg-in`
16×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	84
1	30	4
2	88	4
3	127	4
4	175	4
5	201	4
6	213	4
7	217	4

Stop Event

1×

saturated

Compiler

Compiled 15 to 11 computations (26.7% saved)

end0.0ms (0%)

preprocess76.0ms (7.2%)

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

analyze0.0ms (0%)

sample904.0ms (85.2%)

preprocess57.0ms (5.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes6.0ms (0.6%)

simplify1.0ms (0.1%)

soundness12.0ms (1.1%)

end0.0ms (0%)

preprocess76.0ms (7.2%)

Profiling