Metrics for simple fma test

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 16 to 10 computations (37.5% saved)

Mixed Sampling

Click to see full mixed sampling table

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

sample1.9s (70.8%)

Results

750.0ms	2290×	body	1024	valid
667.0ms	2877×	body	512	valid
420.0ms	3029×	body	256	valid
25.0ms	60×	body	2048	valid

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	4043	5	0.0ms
const	3900-4000	43	0.0ms
const	3800-3900	12	0.0ms
const	2700-2800	2	0.0ms
const	2600-2700	3	0.0ms
const	2500-2600	16	0.0ms
const	2400-2500	25	0.0ms
const	2300-2400	40	0.0ms
const	2200-2300	56	0.0ms
const	2100-2200	39	0.0ms
const	2000-2100	51	0.0ms
const	2048	62	0.0ms
const	2000-2100	79	0.0ms
const	1900-2000	134	0.0ms
const	1800-1900	1896	2.0ms
const	1700-1800	8	0.0ms
const	1600-1700	12	0.0ms
const	1500-1600	37	0.0ms
const	1400-1500	34	0.0ms
const	1300-1400	42	0.0ms
const	1200-1300	52	0.0ms
const	1100-1200	53	0.0ms
const	1000-1100	29	0.0ms
const	1024	2351	2.0ms
const	1000-1100	11	0.0ms
const	900-1000	68	0.0ms
const	800-900	4707	5.0ms
const	700-800	180	0.0ms
const	512	5227	6.0ms
const	256	16512	18.0ms
ival-add	4043	10	0.0ms
ival-add	3900-4000	86	0.0ms
ival-add	3800-3900	24	0.0ms
ival-add	2700-2800	4	0.0ms
ival-add	2600-2700	6	0.0ms
ival-add	2500-2600	32	0.0ms
ival-add	2400-2500	50	0.0ms
ival-add	2300-2400	80	0.0ms
ival-add	2200-2300	112	1.0ms
ival-add	2100-2200	78	0.0ms
ival-add	2000-2100	102	1.0ms
ival-add	2048	4	0.0ms
ival-add	2000-2100	158	1.0ms
ival-add	1900-2000	268	1.0ms
ival-add	1800-1900	3792	21.0ms
ival-add	1700-1800	16	0.0ms
ival-add	1600-1700	24	0.0ms
ival-add	1500-1600	74	0.0ms
ival-add	1400-1500	68	1.0ms
ival-add	1300-1400	84	0.0ms
ival-add	1200-1300	104	1.0ms
ival-add	1100-1200	106	1.0ms
ival-add	1000-1100	58	0.0ms
ival-add	1024	2	0.0ms
ival-add	1000-1100	22	0.0ms
ival-add	900-1000	136	1.0ms
ival-add	800-900	9414	54.0ms
ival-add	700-800	360	2.0ms
ival-add	256	16512	97.0ms
ival-fma	4043	5	0.0ms
ival-fma	3900-4000	43	1.0ms
ival-fma	3800-3900	12	0.0ms
ival-fma	2700-2800	2	0.0ms
ival-fma	2600-2700	3	0.0ms
ival-fma	2500-2600	16	0.0ms
ival-fma	2400-2500	25	0.0ms
ival-fma	2300-2400	40	0.0ms
ival-fma	2200-2300	56	1.0ms
ival-fma	2100-2200	39	1.0ms
ival-fma	2000-2100	51	1.0ms
ival-fma	2048	2	0.0ms
ival-fma	2000-2100	79	1.0ms
ival-fma	1900-2000	134	2.0ms
ival-fma	1800-1900	1896	24.0ms
ival-fma	1700-1800	8	0.0ms
ival-fma	1600-1700	12	0.0ms
ival-fma	1500-1600	37	0.0ms
ival-fma	1400-1500	34	0.0ms
ival-fma	1300-1400	42	1.0ms
ival-fma	1200-1300	52	1.0ms
ival-fma	1100-1200	53	1.0ms
ival-fma	1000-1100	29	0.0ms
ival-fma	1024	1	0.0ms
ival-fma	1000-1100	11	0.0ms
ival-fma	900-1000	68	1.0ms
ival-fma	800-900	4707	65.0ms
ival-fma	700-800	180	2.0ms
ival-fma	256	8256	117.0ms
ival-mult	4043	5	0.0ms
ival-mult	3900-4000	43	0.0ms
ival-mult	3800-3900	12	0.0ms
ival-mult	2700-2800	2	0.0ms
ival-mult	2600-2700	3	0.0ms
ival-mult	2500-2600	16	0.0ms
ival-mult	2400-2500	25	0.0ms
ival-mult	2300-2400	40	0.0ms
ival-mult	2200-2300	56	0.0ms
ival-mult	2100-2200	39	0.0ms
ival-mult	2000-2100	51	0.0ms
ival-mult	2048	2	0.0ms
ival-mult	2000-2100	79	1.0ms
ival-mult	1900-2000	134	1.0ms
ival-mult	1800-1900	1896	14.0ms
ival-mult	1700-1800	8	0.0ms
ival-mult	1600-1700	12	0.0ms
ival-mult	1500-1600	37	0.0ms
ival-mult	1400-1500	34	0.0ms
ival-mult	1300-1400	42	0.0ms
ival-mult	1200-1300	52	0.0ms
ival-mult	1100-1200	53	0.0ms
ival-mult	1000-1100	29	0.0ms
ival-mult	1024	1	0.0ms
ival-mult	1000-1100	11	0.0ms
ival-mult	900-1000	68	0.0ms
ival-mult	800-900	4707	34.0ms
ival-mult	700-800	180	1.0ms
ival-mult	256	8256	61.0ms
ival-sub	2048	60	0.0ms
ival-sub	1024	2350	14.0ms
ival-sub	512	5227	30.0ms
ival-sub	256	8256	50.0ms

Bogosity

preprocess353.0ms (13.4%)

Algorithm

1×	egg-herbie

Rules

5494×	`fma-def`
1648×	`unsub-neg`
1526×	`fma-neg`
954×	`sub-neg`
564×	`distribute-neg-in`

Problems

228×	`(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))`
28×	No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	52	553
1	134	541
2	375	11
3	1539	11
4	3627	11
5	5073	11
6	5994	11
7	7028	11
8	7666	11
9	7750	11
10	7750	11
11	7858	11
12	7945	11
13	7966	11
14	7978	11
15	7984	11
16	7984	11

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
(-.f64 (fma.f64 (neg.f64 x) y z) (+.f64 1 (+.f64 (*.f64 (neg.f64 x) y) z)))
(-.f64 (fma.f64 x (neg.f64 y) z) (+.f64 1 (+.f64 (*.f64 x (neg.f64 y)) z)))
(-.f64 (fma.f64 x y (neg.f64 z)) (+.f64 1 (+.f64 (*.f64 x y) (neg.f64 z))))
(neg.f64 (-.f64 (fma.f64 (neg.f64 x) y z) (+.f64 1 (+.f64 (*.f64 (neg.f64 x) y) z))))
(neg.f64 (-.f64 (fma.f64 x (neg.f64 y) z) (+.f64 1 (+.f64 (*.f64 x (neg.f64 y)) z))))
(neg.f64 (-.f64 (fma.f64 x y (neg.f64 z)) (+.f64 1 (+.f64 (*.f64 x y) (neg.f64 z)))))
(-.f64 (fma.f64 y x z) (+.f64 1 (+.f64 (*.f64 y x) z)))
(-.f64 (fma.f64 z y x) (+.f64 1 (+.f64 (*.f64 z y) x)))
(-.f64 (fma.f64 x z y) (+.f64 1 (+.f64 (*.f64 x z) y)))

Outputs
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
(-.f64 (fma.f64 x y z) (+.f64 1 (fma.f64 x y z)))
-1
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
(-.f64 (fma.f64 x y z) (+.f64 1 (fma.f64 x y z)))
-1
(-.f64 (fma.f64 (neg.f64 x) y z) (+.f64 1 (+.f64 (*.f64 (neg.f64 x) y) z)))
(-.f64 (fma.f64 x y z) (+.f64 1 (fma.f64 x y z)))
-1
(-.f64 (fma.f64 x (neg.f64 y) z) (+.f64 1 (+.f64 (*.f64 x (neg.f64 y)) z)))
(-.f64 (fma.f64 x y z) (+.f64 1 (fma.f64 x y z)))
-1
(-.f64 (fma.f64 x y (neg.f64 z)) (+.f64 1 (+.f64 (*.f64 x y) (neg.f64 z))))
(-.f64 (fma.f64 x y z) (+.f64 1 (fma.f64 x y z)))
-1
(neg.f64 (-.f64 (fma.f64 (neg.f64 x) y z) (+.f64 1 (+.f64 (*.f64 (neg.f64 x) y) z))))
(neg.f64 (-.f64 (fma.f64 x (neg.f64 y) z) (+.f64 1 (fma.f64 x (neg.f64 y) z))))
(+.f64 (-.f64 (.f64 x y) z) (+.f64 z (-.f64 1 (.f64 x y))))
1
(neg.f64 (-.f64 (fma.f64 x (neg.f64 y) z) (+.f64 1 (+.f64 (*.f64 x (neg.f64 y)) z))))
(neg.f64 (-.f64 (fma.f64 x (neg.f64 y) z) (+.f64 1 (fma.f64 x (neg.f64 y) z))))
(+.f64 (-.f64 (.f64 x y) z) (+.f64 z (-.f64 1 (.f64 x y))))
1
(neg.f64 (-.f64 (fma.f64 x y (neg.f64 z)) (+.f64 1 (+.f64 (*.f64 x y) (neg.f64 z)))))
(neg.f64 (-.f64 (fma.f64 x (neg.f64 y) z) (+.f64 1 (fma.f64 x (neg.f64 y) z))))
(+.f64 (-.f64 (.f64 x y) z) (+.f64 z (-.f64 1 (.f64 x y))))
1
(-.f64 (fma.f64 y x z) (+.f64 1 (+.f64 (*.f64 y x) z)))
(-.f64 (fma.f64 x y z) (+.f64 1 (fma.f64 x y z)))
-1
(-.f64 (fma.f64 z y x) (+.f64 1 (+.f64 (*.f64 z y) x)))
(-.f64 (fma.f64 x y z) (+.f64 1 (fma.f64 x y z)))
-1
(-.f64 (fma.f64 x z y) (+.f64 1 (+.f64 (*.f64 x z) y)))
(-.f64 (fma.f64 x y z) (+.f64 1 (fma.f64 x y z)))
-1

Symmetry

(abs x)

(abs y)

(abs z)

(sort x y z)

Compiler

Compiled 54 to 22 computations (59.3% saved)

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	2580	1	0.0ms
const	2400-2500	1	0.0ms
const	2300-2400	2	0.0ms
const	2100-2200	1	0.0ms
const	2000-2100	6	0.0ms
const	1900-2000	5	0.0ms
const	1800-1900	74	0.0ms
const	1500-1600	5	0.0ms
const	1300-1400	1	0.0ms
const	1100-1200	1	0.0ms
const	1024	270	0.0ms
const	900-1000	1	0.0ms
const	800-900	188	0.0ms
const	700-800	7	0.0ms
const	512	609	1.0ms
const	256	1024	1.0ms
ival-add	2580	2	0.0ms
ival-add	2400-2500	2	0.0ms
ival-add	2300-2400	4	0.0ms
ival-add	2100-2200	2	0.0ms
ival-add	2000-2100	12	0.0ms
ival-add	1900-2000	10	0.0ms
ival-add	1800-1900	148	1.0ms
ival-add	1500-1600	10	0.0ms
ival-add	1300-1400	2	0.0ms
ival-add	1100-1200	2	0.0ms
ival-add	1024	90	1.0ms
ival-add	900-1000	2	0.0ms
ival-add	800-900	376	3.0ms
ival-add	700-800	14	0.0ms
ival-add	512	203	1.0ms
ival-add	256	768	4.0ms
ival-fma	2580	1	0.0ms
ival-fma	2400-2500	1	0.0ms
ival-fma	2300-2400	2	0.0ms
ival-fma	2100-2200	1	0.0ms
ival-fma	2000-2100	6	0.0ms
ival-fma	1900-2000	5	0.0ms
ival-fma	1800-1900	74	1.0ms
ival-fma	1500-1600	5	0.0ms
ival-fma	1300-1400	1	0.0ms
ival-fma	1100-1200	1	0.0ms
ival-fma	900-1000	1	0.0ms
ival-fma	800-900	188	2.0ms
ival-fma	700-800	7	0.0ms
ival-fma	256	256	3.0ms
ival-mult	2580	1	0.0ms
ival-mult	2400-2500	1	0.0ms
ival-mult	2300-2400	2	0.0ms
ival-mult	2100-2200	1	0.0ms
ival-mult	2000-2100	6	0.0ms
ival-mult	1900-2000	5	0.0ms
ival-mult	1800-1900	74	1.0ms
ival-mult	1500-1600	5	0.0ms
ival-mult	1300-1400	1	0.0ms
ival-mult	1100-1200	1	0.0ms
ival-mult	900-1000	1	0.0ms
ival-mult	800-900	188	1.0ms
ival-mult	700-800	7	0.0ms
ival-mult	256	256	2.0ms
ival-sub	1024	90	1.0ms
ival-sub	512	203	2.0ms
ival-sub	256	256	1.0ms

eval0.0ms (0%)

Compiler: Compiled 15 to 8 computations (46.7% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	-1
	100.0%	-1

Compiler

Compiled 8 to 8 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune1.0ms (0%)

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 8 to 8 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune1.0ms (0%)

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 8 to 8 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune1.0ms (0%)

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 8 to 8 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune1.0ms (0%)

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 20 to 14 computations (30% saved)

regimes12.0ms (0.4%)

Accuracy

Total -55.3b remaining (-∞%)

Threshold costs -55.3b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
-1
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

Outputs
-1

Calls

4 calls:

3.0ms	z
3.0ms	y
3.0ms	x
2.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))`

Compiler

Compiled 43 to 28 computations (34.9% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
-1

Outputs
-1

Compiler

Compiled 4 to 4 computations (0% saved)

soundness357.0ms (13.5%)

Rules

5494×	`fma-def`
1648×	`unsub-neg`
1526×	`fma-neg`
954×	`sub-neg`
564×	`distribute-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	52	553
1	134	541
2	375	11
3	1539	11
4	3627	11
5	5073	11
6	5994	11
7	7028	11
8	7666	11
9	7750	11
10	7750	11
11	7858	11
12	7945	11
13	7966	11
14	7978	11
15	7984	11
16	7984	11

Stop Event

1×	node limit

Compiler

Compiled 58 to 22 computations (62.1% saved)

end0.0ms (0%)

preprocess42.0ms (1.6%)

Remove

(sort x y z)

(abs z)

(abs y)

(abs x)

Compiler

Compiled 110 to 98 computations (10.9% saved)

analyze0.0ms (0%)

sample1.9s (70.8%)

preprocess353.0ms (13.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes12.0ms (0.4%)

simplify1.0ms (0%)

soundness357.0ms (13.5%)

end0.0ms (0%)

preprocess42.0ms (1.6%)

Profiling