Details

analyze45.0ms (1.8%)

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
50%	50%	0.1%	4
50%	50%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
87.4%	12.5%	0.1%	8
87.4%	12.5%	0.1%	9
93.7%	6.2%	0.1%	10
93.7%	6.2%	0.1%	11
96.8%	3.1%	0.1%	12
96.8%	3.1%	0.1%	13
98.3%	1.6%	0.1%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample726.0ms (28.7%)

Results

684.0ms

8256×

body

128

valid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify13.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

57×	`fma-neg_binary64`
53×	`fma-def_binary64`
22×	`cancel-sign-sub-inv_binary64`
15×	`sub-neg_binary64`
11×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	15	7
3	24	7
4	36	7
5	60	5
6	93	5
7	116	5
8	146	5
9	168	5
10	200	5
11	213	5
12	216	5
13	178	5

prune3.0ms (0.1%)

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

Compiler

Compiled 25 to 17 computations (32% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

3.0ms

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

rewrite50.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

709×	`log1p-expm1-u_binary64`
709×	`expm1-log1p-u_binary64`
488×	`prod-diff_binary64`
71×	`add-sqr-sqrt_binary64`
70×	`egg-rr`

Counts

1 → 70

Calls

1 calls:

48.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	139	7
2	1787	7
3	5250	7
0	0	0
1	0	0

simplify19.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

65×	`fma-def_binary64`
50×	`fma-neg_binary64`
25×	`cancel-sign-sub-inv_binary64`
15×	`sub-neg_binary64`
11×	`neg-mul-1_binary64`

Counts

94 → 74

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	141
1	14	141
2	21	105
3	35	105
4	47	105
5	71	105
6	103	105
7	124	105
8	156	105
9	168	105
10	184	105
11	188	105
12	160	105

prune36.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

75 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 x (/.f64 y 200))
▶	1.3b	(pow.f64 (cbrt.f64 (-.f64 x (/.f64 y 200))) 3)

Compiler

Compiled 1252 to 730 computations (41.7% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(-.f64 x (/.f64 y 200))
✓	0.6b	(cbrt.f64 (-.f64 x (/.f64 y 200)))
✓	0.7b	(pow.f64 (cbrt.f64 (-.f64 x (/.f64 y 200))) 3)

series1.2s (49.2%)

Counts

2 → 48

Calls

2 calls:

1.2s	(pow.f64 (cbrt.f64 (-.f64 x (/.f64 y 200))) 3)
27.0ms	(cbrt.f64 (-.f64 x (/.f64 y 200)))

rewrite62.0ms (2.4%)

Algorithm

2×	batch-egg-rewrite

Rules

868×	`log1p-expm1-u_binary64`
868×	`expm1-log1p-u_binary64`
488×	`prod-diff_binary64`
101×	`egg-rr`
89×	`add-sqr-sqrt_binary64`

Counts

2 → 101

Calls

2 calls:

60.0ms	(cbrt.f64 (-.f64 x (/.f64 y 200)))
60.0ms	(pow.f64 (cbrt.f64 (-.f64 x (/.f64 y 200))) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	186	16
2	2210	16
3	6142	16
0	0	0
1	0	0

simplify82.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

441×	`fma-def_binary64`
423×	`times-frac_binary64`
316×	`fma-neg_binary64`
301×	`cancel-sign-sub-inv_binary64`
273×	`associate-/l*_binary64`

Counts

149 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	150	1443
1	458	1403
2	1471	1299
3	4697	1099
4	4997	1099
5	4961	1099

prune111.0ms (4.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	229	0	229
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	229	2	231

Error

Counts

231 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 x (/.f64 y 200))
✓	1.3b	(pow.f64 (cbrt.f64 (-.f64 x (/.f64 y 200))) 3)

Compiler

Compiled 4513 to 3072 computations (31.9% saved)

regimes48.0ms (1.9%)

Accuracy

Total 0.0b remaining (9.3%)

Threshold costs 0.0b (9.3%)

Counts

10 → 1

Compiler

Compiled 336 to 254 computations (24.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	15	7
3	19	7
4	22	7
5	23	7
6	23	7

end74.0ms (2.9%)

Compiler: Compiled 31 to 23 computations (25.8% saved)

Iter	Nodes	Cost
0	6	7
1	8	7
2	15	7
3	24	7
4	36	7
5	60	5
6	93	5
7	116	5
8	146	5
9	168	5
10	200	5
11	213	5
12	216	5
13	178	5

Iter	Nodes	Cost
0	8	141
1	14	141
2	21	105
3	35	105
4	47	105
5	71	105
6	103	105
7	124	105
8	156	105
9	168	105
10	184	105
11	188	105
12	160	105

Iter	Nodes	Cost
0	6	7
1	8	7
2	15	7
3	24	7
4	36	7
5	60	5
6	93	5
7	116	5
8	146	5
9	168	5
10	200	5
11	213	5
12	216	5
13	178	5

Iter	Nodes	Cost
0	8	141
1	14	141
2	21	105
3	35	105
4	47	105
5	71	105
6	103	105
7	124	105
8	156	105
9	168	105
10	184	105
11	188	105
12	160	105

Details

analyze45.0ms (1.8%)

sample726.0ms (28.7%)

simplify13.0ms (0.5%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite50.0ms (2%)

simplify19.0ms (0.8%)

prune36.0ms (1.4%)

localize5.0ms (0.2%)

series1.2s (49.2%)

rewrite62.0ms (2.4%)

simplify82.0ms (3.3%)

prune111.0ms (4.4%)

regimes48.0ms (1.9%)

simplify2.0ms (0.1%)

end74.0ms (2.9%)

Profiling

Iter	Nodes	Cost
0	6	7
1	8	7
2	15	7
3	24	7
4	36	7
5	60	5
6	93	5
7	116	5
8	146	5
9	168	5
10	200	5
11	213	5
12	216	5
13	178	5

Iter	Nodes	Cost
0	8	141
1	14	141
2	21	105
3	35	105
4	47	105
5	71	105
6	103	105
7	124	105
8	156	105
9	168	105
10	184	105
11	188	105
12	160	105