Details

analyze528.0ms (23.5%)

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
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
35.9%	55.4%	8.7%	10
42.9%	47.6%	9.5%	11
51.5%	38.4%	10.1%	12
55%	30.3%	14.7%	13
59.5%	25.4%	15.1%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample993.0ms (44.3%)

Symmetry

(sort x y)

Results

778.0ms	8255×	body	128	valid
55.0ms	560×	body	128	invalid
0.0ms	1×	body	1024	valid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify49.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

673×	`fma-neg_binary64`
461×	`fma-def_binary64`
143×	`distribute-rgt-in_binary64`
135×	`cancel-sign-sub-inv_binary64`
117×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	14	10
2	32	10
3	73	10
4	190	10
5	423	10
6	676	10
7	1136	10
8	1124	10
9	1359	10
10	1394	10
11	1394	10
12	1351	10

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 x y) (-.f64 1 z))

Compiler

Compiled 30 to 21 computations (30% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.3%)

Counts

1 → 36

Calls

1 calls:

6.0ms

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

rewrite49.0ms (2.2%)

Algorithm

2×	batch-egg-rewrite

Rules

905×	`expm1-log1p-u_binary64`
587×	`prod-diff_binary64`
87×	`add-sqr-sqrt_binary64`
83×	`log1p-expm1-u_binary64`
80×	`add-cbrt-cube_binary64`

Counts

1 → 38

Calls

1 calls:

47.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	171	10
2	2212	10
3	4993	10
0	0	0
1	0	0

simplify67.0ms (3%)

Algorithm

1×	egg-herbie

Rules

919×	`fma-def_binary64`
748×	`fma-neg_binary64`
132×	`sub-neg_binary64`
119×	`distribute-rgt-in_binary64`
117×	`cancel-sign-sub-inv_binary64`

Counts

74 → 47

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	415
1	37	334
2	107	334
3	179	334
4	454	334
5	903	334
6	1174	334
7	1399	334
8	1431	334
9	1433	334
10	1433	334
11	1390	334

prune28.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	46	1	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	46	2	48

Error

Counts

48 → 2

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (+.f64 y x) (+.f64 (.f64 y z) (.f64 z x)))
✓	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))

Compiler

Compiled 647 to 325 computations (49.8% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series16.0ms (0.7%)

Counts

2 → 27

Calls

2 calls:

10.0ms	(-.f64 (+.f64 y x) (+.f64 (.f64 y z) (.f64 z x)))
6.0ms	(+.f64 (.f64 y z) (.f64 z x))

rewrite75.0ms (3.3%)

Algorithm

2×	batch-egg-rewrite

Rules

865×	`fma-def_binary64`
390×	`fma-neg_binary64`
206×	`expm1-udef_binary64`
206×	`log1p-udef_binary64`
202×	`egg-rr`

Counts

2 → 202

Calls

2 calls:

69.0ms	(+.f64 (.f64 y z) (.f64 z x))
69.0ms	(-.f64 (+.f64 y x) (+.f64 (.f64 y z) (.f64 z x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	214	20
2	3198	20
3	5086	20
0	0	0
1	0	0

simplify31.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

292×	`fma-def_binary64`
155×	`fma-neg_binary64`
49×	`distribute-rgt-in_binary64`
46×	`associate-l_binary64`
43×	`associate-r_binary64`

Counts

229 → 218

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	172
1	57	172
2	125	172
3	178	172
4	367	172
5	512	172
6	551	172
7	560	172
8	517	172

prune108.0ms (4.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	218	0	218
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	218	2	220

Error

Counts

220 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 y x) (+.f64 (.f64 y z) (.f64 z x)))
✓	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))

Compiler

Compiled 4386 to 921 computations (79% saved)

regimes224.0ms (10%)

Accuracy

Total 0.0b remaining (75.2%)

Threshold costs 0.0b (75.2%)

Counts

37 → 1

Compiler

Compiled 2757 to 1707 computations (38.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14
2	17	14
3	19	14
4	20	14
5	20	14

end53.0ms (2.4%)

Remove: (sort x y)
Compiler: Compiled 76 to 43 computations (43.4% saved)

Iter	Nodes	Cost
0	21	172
1	57	172
2	125	172
3	178	172
4	367	172
5	512	172
6	551	172
7	560	172
8	517	172

Iter	Nodes	Cost
0	21	172
1	57	172
2	125	172
3	178	172
4	367	172
5	512	172
6	551	172
7	560	172
8	517	172

Details

analyze528.0ms (23.5%)

sample993.0ms (44.3%)

simplify49.0ms (2.2%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

series6.0ms (0.3%)

rewrite49.0ms (2.2%)

simplify67.0ms (3%)

prune28.0ms (1.2%)

localize6.0ms (0.3%)

series16.0ms (0.7%)

rewrite75.0ms (3.3%)

simplify31.0ms (1.4%)

prune108.0ms (4.8%)

regimes224.0ms (10%)

simplify2.0ms (0.1%)

end53.0ms (2.4%)

Profiling

Iter	Nodes	Cost
0	21	172
1	57	172
2	125	172
3	178	172
4	367	172
5	512	172
6	551	172
7	560	172
8	517	172