Details

analyze676.0ms (22%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
12.5%	71.8%	15.7%	8
25%	56.2%	18.9%	9
31.2%	43.7%	25.1%	10
39%	34.7%	26.3%	11
44.9%	27.9%	27.3%	12
47.8%	22%	30.2%	13
52.6%	16.8%	30.7%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.6s (53.3%)

Symmetry

(sort y z)

Results

1.5s	8256×	body	128	valid
78.0ms	492×	body	128	invalid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify34.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

335×	`fma-def_binary64`
126×	`fma-neg_binary64`
60×	`cancel-sign-sub-inv_binary64`
40×	`distribute-rgt-neg-in_binary64`
28×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	19	11
2	45	11
3	91	11
4	120	11
5	179	11
6	240	11
7	294	11
8	377	11
9	396	11
10	450	11
11	462	11
12	413	11

prune5.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	2	3

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

Compiler

Compiled 44 to 27 computations (38.6% saved)

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

series21.0ms (0.7%)

Counts

1 → 36

Calls

1 calls:

21.0ms

(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

rewrite83.0ms (2.7%)

Algorithm

2×	batch-egg-rewrite

Rules

500×	`log-prod_binary64`
356×	`fma-def_binary64`
257×	`pow2_binary64`
176×	`expm1-udef_binary64`
176×	`log1p-udef_binary64`

Counts

1 → 163

Calls

1 calls:

79.0ms

(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	199	11
2	2428	11
3	5094	11
0	0	0
1	0	0

simplify194.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

1117×	`fma-def_binary64`
807×	`distribute-rgt-neg-in_binary64`
797×	`unsub-neg_binary64`
711×	`cancel-sign-sub-inv_binary64`
524×	`distribute-lft-neg-in_binary64`

Counts

199 → 168

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	402
1	28	348
2	57	348
3	109	348
4	171	348
5	331	348
6	883	348
7	1861	348
8	3326	348
9	4819	348
10	4902	348
11	3728	348
12	3472	348
13	2964	348
14	4605	348
15	4669	348
16	4775	348

prune185.0ms (6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	168	1	169

Error

Counts

169 → 1

Alt Table

Status	Error	Program
▶	0b	(fma.f64 z (.f64 y -4) (.f64 x x))

Compiler

Compiled 3719 to 2223 computations (40.2% saved)

localize8.0ms (0.3%)

prune1.0ms (0%)

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

Error

Counts

1 → 1

Alt Table

Status	Error	Program
✓	0b	(fma.f64 z (.f64 y -4) (.f64 x x))

Compiler

Compiled 11 to 7 computations (36.4% saved)

regimes137.0ms (4.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

6 → 1

Compiler

Compiled 542 to 379 computations (30.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	9	11
2	9	11

end76.0ms (2.5%)

Remove: (sort y z)
Compiler: Compiled 55 to 35 computations (36.4% saved)

Iter	Nodes	Cost
0	9	13
1	19	11
2	45	11
3	91	11
4	120	11
5	179	11
6	240	11
7	294	11
8	377	11
9	396	11
10	450	11
11	462	11
12	413	11

Iter	Nodes	Cost
0	9	13
1	19	11
2	45	11
3	91	11
4	120	11
5	179	11
6	240	11
7	294	11
8	377	11
9	396	11
10	450	11
11	462	11
12	413	11

Details

analyze676.0ms (22%)

sample1.6s (53.3%)

simplify34.0ms (1.1%)

prune5.0ms (0.2%)

localize11.0ms (0.3%)

series21.0ms (0.7%)

rewrite83.0ms (2.7%)

simplify194.0ms (6.3%)

prune185.0ms (6%)

localize8.0ms (0.3%)

prune1.0ms (0%)

regimes137.0ms (4.5%)

simplify4.0ms (0.1%)

end76.0ms (2.5%)

Profiling

Iter	Nodes	Cost
0	9	13
1	19	11
2	45	11
3	91	11
4	120	11
5	179	11
6	240	11
7	294	11
8	377	11
9	396	11
10	450	11
11	462	11
12	413	11