Details

analyze429.0ms (20.2%)

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
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
39%	60.8%	0.1%	9
51.5%	48.4%	0.1%	10
58.5%	39.8%	1.7%	11
59.3%	37.6%	3.1%	12
65.7%	28.5%	5.8%	13
69.1%	23.5%	7.4%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.3s (59.6%)

Results

893.0ms	8256×	body	128	valid
134.0ms	1362×	body	128	invalid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify32.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

377×	`fma-neg_binary64`
309×	`fma-def_binary64`
112×	`cancel-sign-sub-inv_binary64`
77×	`distribute-rgt-in_binary64`
56×	`unsub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	80	10
5	138	10
6	302	10
7	420	10
8	581	10
9	647	10
10	718	10
11	740	10
12	744	10
13	699	10

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

Compiler

Compiled 30 to 18 computations (40% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0.4%)

Counts

1 → 28

Calls

1 calls:

9.0ms

(/.f64 (-.f64 y x) z)

rewrite78.0ms (3.7%)

Algorithm

2×	batch-egg-rewrite

Rules

835×	`log1p-expm1-u_binary64`
835×	`expm1-log1p-u_binary64`
541×	`prod-diff_binary64`
180×	`egg-rr`
74×	`add-sqr-sqrt_binary64`

Counts

1 → 180

Calls

1 calls:

71.0ms

(/.f64 (-.f64 y x) z)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	138	7
2	2019	7
3	6185	7
0	0	0
1	0	0

simplify31.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

279×	`fma-def_binary64`
145×	`fma-neg_binary64`
54×	`cancel-sign-sub-inv_binary64`
40×	`distribute-rgt-in_binary64`
40×	`unsub-neg_binary64`

Counts

208 → 184

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	12	250
1	24	250
2	45	228
3	83	184
4	135	184
5	247	184
6	349	184
7	354	184
8	400	184
9	407	184
10	412	184
11	379	184

prune85.0ms (4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	183	1	184
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	183	2	185

Error

Counts

185 → 2

Alt Table

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

Compiler

Compiled 6879 to 1506 computations (78.1% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (-.f64 y x) (/.f64 1 z))

series9.0ms (0.4%)

Counts

1 → 36

Calls

1 calls:

9.0ms

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

rewrite47.0ms (2.2%)

Algorithm

2×	batch-egg-rewrite

Rules

846×	`log1p-expm1-u_binary64`
846×	`expm1-log1p-u_binary64`
368×	`prod-diff_binary64`
86×	`add-sqr-sqrt_binary64`
79×	`add-cbrt-cube_binary64`

Counts

1 → 41

Calls

1 calls:

46.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	7
1	171	7
2	2127	7
3	5883	7
0	0	0
1	0	0

simplify34.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

301×	`fma-def_binary64`
151×	`fma-neg_binary64`
47×	`cancel-sign-sub-inv_binary64`
47×	`unsub-neg_binary64`
40×	`distribute-rgt-in_binary64`

Counts

77 → 45

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	240
1	28	240
2	50	240
3	94	240
4	142	240
5	256	240
6	363	240
7	356	240
8	400	240
9	407	240
10	412	240
11	379	240

prune19.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	45	2	47

Error

Counts

47 → 2

Alt Table

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

Compiler

Compiled 598 to 255 computations (57.4% saved)

regimes33.0ms (1.5%)

Accuracy

Total 0.0b remaining (34.7%)

Threshold costs 0.0b (34.7%)

Counts

6 → 1

Compiler

Compiled 360 to 234 computations (35% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	15	10
3	17	10
4	18	10
5	18	10

end38.0ms (1.8%)

Compiler: Compiled 42 to 26 computations (38.1% saved)

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	80	10
5	138	10
6	302	10
7	420	10
8	581	10
9	647	10
10	718	10
11	740	10
12	744	10
13	699	10

Iter	Nodes	Cost
0	12	250
1	24	250
2	45	228
3	83	184
4	135	184
5	247	184
6	349	184
7	354	184
8	400	184
9	407	184
10	412	184
11	379	184

Iter	Nodes	Cost
0	14	240
1	28	240
2	50	240
3	94	240
4	142	240
5	256	240
6	363	240
7	356	240
8	400	240
9	407	240
10	412	240
11	379	240

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	80	10
5	138	10
6	302	10
7	420	10
8	581	10
9	647	10
10	718	10
11	740	10
12	744	10
13	699	10

Iter	Nodes	Cost
0	12	250
1	24	250
2	45	228
3	83	184
4	135	184
5	247	184
6	349	184
7	354	184
8	400	184
9	407	184
10	412	184
11	379	184

Iter	Nodes	Cost
0	14	240
1	28	240
2	50	240
3	94	240
4	142	240
5	256	240
6	363	240
7	356	240
8	400	240
9	407	240
10	412	240
11	379	240

Details

analyze429.0ms (20.2%)

sample1.3s (59.6%)

simplify32.0ms (1.5%)

prune1.0ms (0.1%)

localize4.0ms (0.2%)

series9.0ms (0.4%)

rewrite78.0ms (3.7%)

simplify31.0ms (1.4%)

prune85.0ms (4%)

localize7.0ms (0.3%)

series9.0ms (0.4%)

rewrite47.0ms (2.2%)

simplify34.0ms (1.6%)

prune19.0ms (0.9%)

regimes33.0ms (1.5%)

simplify2.0ms (0.1%)

end38.0ms (1.8%)

Profiling

Iter	Nodes	Cost
0	7	10
1	13	10
2	24	10
3	42	10
4	80	10
5	138	10
6	302	10
7	420	10
8	581	10
9	647	10
10	718	10
11	740	10
12	744	10
13	699	10

Iter	Nodes	Cost
0	12	250
1	24	250
2	45	228
3	83	184
4	135	184
5	247	184
6	349	184
7	354	184
8	400	184
9	407	184
10	412	184
11	379	184

Iter	Nodes	Cost
0	14	240
1	28	240
2	50	240
3	94	240
4	142	240
5	256	240
6	363	240
7	356	240
8	400	240
9	407	240
10	412	240
11	379	240