Details

analyze105.0ms (5.6%)

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
25%	74.9%	0.1%	5
25%	62.4%	12.6%	6
25%	50%	25.1%	7
31.2%	37.5%	31.3%	8
39%	24.2%	36.8%	9
42.9%	18.3%	38.7%	10
47.2%	11.9%	40.9%	11
49.4%	9.1%	41.6%	12
51.6%	5.9%	42.5%	13
52.7%	4.5%	42.8%	14

Compiler

Compiled 10 to 6 computations (40% saved)

sample949.0ms (50.6%)

Results

659.0ms	8256×	body	128	valid
13.0ms	161×	body	128	invalid

Compiler

Compiled 29 to 17 computations (41.4% saved)

simplify268.0ms (14.3%)

Algorithm

1×	egg-herbie

Rules

767×	`unsub-neg_binary64`
740×	`*-commutative_binary64`
699×	`fma-def_binary64`
598×	`fma-neg_binary64`
465×	`distribute-neg-out_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	15	10
2	25	10
3	53	10
4	114	10
5	274	10
6	525	10
7	1003	10
8	1777	10
9	2581	10
10	2830	10
11	3137	10
12	3367	10
13	3481	10
14	3481	10
15	4440	10
16	4280	10
17	4600	10
18	4600	10
19	5099	10

prune6.0ms (0.3%)

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 a a) (.f64 b b))

Compiler

Compiled 27 to 15 computations (44.4% saved)

localize7.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 a a) (.f64 b b))

series10.0ms (0.6%)

Counts

1 → 24

Calls

1 calls:

10.0ms

(-.f64 (*.f64 a a) (*.f64 b b))

rewrite88.0ms (4.7%)

Algorithm

2×	batch-egg-rewrite

Rules

684×	`log1p-expm1-u_binary64`
684×	`expm1-log1p-u_binary64`
630×	`prod-diff_binary64`
116×	`egg-rr`
70×	`add-sqr-sqrt_binary64`

Counts

1 → 116

Calls

1 calls:

83.0ms

(-.f64 (*.f64 a a) (*.f64 b b))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	138	10
2	1710	10
3	5346	10
0	0	0
1	0	0

simplify127.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

504×	`unswap-sqr_binary64`
348×	`fma-def_binary64`
297×	`*-commutative_binary64`
272×	`distribute-rgt-neg-in_binary64`
263×	`sub-neg_binary64`

Counts

140 → 122

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	210
1	20	210
2	40	210
3	85	210
4	212	210
5	692	210
6	1920	210
7	3384	210
8	4748	210
9	4887	210
10	4870	210

prune110.0ms (5.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	1	123

Error

Counts

123 → 1

Alt Table

Status	Error	Program
▶	0b	(*.f64 (+.f64 a b) (-.f64 a b))

Compiler

Compiled 2763 to 838 computations (69.7% saved)

localize7.0ms (0.4%)

prune1.0ms (0.1%)

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	(*.f64 (+.f64 a b) (-.f64 a b))

Compiler

Compiled 9 to 5 computations (44.4% saved)

regimes139.0ms (7.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

12 → 1

Compiler

Compiled 997 to 532 computations (46.6% saved)

simplify4.0ms (0.2%)

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	6	10
1	10	10
2	15	10
3	17	10
4	18	10
5	18	10

end55.0ms (2.9%)

Compiler: Compiled 27 to 15 computations (44.4% saved)

Details

analyze105.0ms (5.6%)

sample949.0ms (50.6%)

simplify268.0ms (14.3%)

prune6.0ms (0.3%)

localize7.0ms (0.4%)

series10.0ms (0.6%)

rewrite88.0ms (4.7%)

simplify127.0ms (6.8%)

prune110.0ms (5.9%)

localize7.0ms (0.4%)

prune1.0ms (0.1%)

regimes139.0ms (7.4%)

simplify4.0ms (0.2%)

end55.0ms (2.9%)

Profiling