Details

analyze681.0ms (22.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
49.1%	50.7%	0.2%	9
49.5%	50.3%	0.2%	10
49.7%	50.1%	0.2%	11
50.2%	49.6%	0.2%	12
60.5%	39.3%	0.2%	13
60.6%	37.9%	1.4%	14

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample1.4s (46.3%)

Symmetry

(sort x y)

Results

927.0ms	8256×	body	128	valid
348.0ms	2812×	body	128	invalid

Compiler

Compiled 41 to 29 computations (29.3% saved)

simplify164.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

1491×	`fma-neg_binary64`
579×	`fma-def_binary64`
465×	`distribute-rgt-in_binary64`
419×	`div-sub_binary64`
329×	`associate-/l*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	21	13
2	45	13
3	70	13
4	138	13
5	257	13
6	498	13
7	922	13
8	1615	13
9	2472	13
10	2435	13
11	2431	13
12	2427	13
13	2428	13
14	2428	13
15	3596	13
16	3260	13
17	3260	13
18	3260	13
19	3140	13

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

Compiler

Compiled 39 to 27 computations (30.8% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

series21.0ms (0.7%)

Counts

1 → 48

Calls

1 calls:

21.0ms

(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

rewrite60.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

444×	`fma-def_binary64`
245×	`fma-neg_binary64`
221×	`expm1-udef_binary64`
221×	`log1p-udef_binary64`
121×	`add-sqr-sqrt_binary64`

Counts

1 → 61

Calls

1 calls:

58.0ms

(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	232	13
2	3405	13
3	4938	13
0	0	0
1	0	0

simplify165.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

1151×	`fma-def_binary64`
848×	`fma-neg_binary64`
388×	`div-sub_binary64`
364×	`distribute-rgt-in_binary64`
354×	`unsub-neg_binary64`

Counts

109 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	930
1	104	735
2	235	696
3	464	579
4	952	579
5	1743	579
6	2112	579
7	2085	579
8	2099	579
9	2102	579
10	2103	579
11	3326	579
12	2878	579
13	2878	579
14	2878	579
15	2782	579

prune55.0ms (1.8%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	1	75

Error

Counts

75 → 1

Alt Table

Status	Error	Program
▶	0b	(-.f64 (/.f64 (+.f64 x y) (.f64 t 2)) (/.f64 z (.f64 t 2)))

Compiler

Compiled 1179 to 584 computations (50.5% saved)

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (*.f64 t 2))

series11.0ms (0.4%)

Counts

1 → 36

Calls

1 calls:

11.0ms

(/.f64 (+.f64 x y) (*.f64 t 2))

rewrite51.0ms (1.7%)

Algorithm

2×	batch-egg-rewrite

Rules

482×	`prod-diff_binary64`
462×	`log-prod_binary64`
171×	`fma-def_binary64`
165×	`expm1-udef_binary64`
165×	`log1p-udef_binary64`

Counts

1 → 44

Calls

1 calls:

50.0ms

(/.f64 (+.f64 x y) (*.f64 t 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	177	10
2	2407	10
3	5142	10
0	0	0
1	0	0

simplify20.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

12×	`fma-def_binary64`
11×	`*-commutative_binary64`
6×	`associate-/l*_binary64`
4×	`+-commutative_binary64`
4×	`distribute-lft-out_binary64`

Counts

80 → 51

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	432
1	35	432
2	50	432
3	55	342
4	60	342
5	62	342
6	62	342

prune25.0ms (0.8%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	1	52

Error

Counts

52 → 1

Alt Table

Status	Error	Program
✓	0b	(-.f64 (/.f64 (+.f64 x y) (.f64 t 2)) (/.f64 z (.f64 t 2)))

Compiler

Compiled 936 to 413 computations (55.9% saved)

regimes291.0ms (9.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

32 → 1

Compiler

Compiled 4200 to 3066 computations (27% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
3×	`*-commutative_binary64`
3×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	15	19
2	22	19
3	26	19
4	29	19
5	30	19
6	30	19

end47.0ms (1.6%)

Remove: (sort x y)
Compiler: Compiled 85 to 60 computations (29.4% saved)

Details

analyze681.0ms (22.7%)

sample1.4s (46.3%)

simplify164.0ms (5.5%)

prune2.0ms (0.1%)

localize7.0ms (0.2%)

series21.0ms (0.7%)

rewrite60.0ms (2%)

simplify165.0ms (5.5%)

prune55.0ms (1.8%)

localize10.0ms (0.3%)

series11.0ms (0.4%)

rewrite51.0ms (1.7%)

simplify20.0ms (0.7%)

prune25.0ms (0.8%)

regimes291.0ms (9.7%)

simplify2.0ms (0.1%)

end47.0ms (1.6%)

Profiling