Details

analyze56.0ms (3.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
37.5%	62.4%	0.1%	5
43.7%	56.2%	0.1%	6
74.9%	25%	0.1%	7
81.2%	18.7%	0.1%	8
87.4%	12.5%	0.1%	9
90.5%	9.4%	0.1%	10
93.7%	6.2%	0.1%	11
95.2%	4.7%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample698.0ms (43%)

Results

667.0ms	8253×	body	128	valid
1.0ms	3×	body	1024	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify6.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10

Stop Event

1×

saturated

Counts

1 → 1

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (+.f64 y 1))

series7.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

6.0ms

(/.f64 (+.f64 x y) (+.f64 y 1))

rewrite48.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

874×	`log1p-expm1-u_binary64`
874×	`expm1-log1p-u_binary64`
565×	`prod-diff_binary64`
80×	`add-sqr-sqrt_binary64`
76×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	157	10
2	2275	10

Stop Event

1×	node limit

Counts

1 → 35

Calls

1 calls:

47.0ms

(/.f64 (+.f64 x y) (+.f64 y 1))

simplify23.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

580×	`cancel-sign-sub-inv_binary64`
496×	`+-commutative_binary64`
494×	`associate-+l-_binary64`
356×	`associate--r+_binary64`
312×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	419
1	134	414
2	431	407
3	1760	405

Stop Event

1×	node limit

Counts

59 → 56

prune37.0ms (2.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	53	3	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	3	57

Error

Counts

57 → 3

Alt Table

Status	Error	Program
	0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))
▶	0.0b	(neg.f64 (/.f64 (+.f64 x y) (+.f64 (neg.f64 y) -1)))
	0.1b	(pow.f64 (/.f64 (+.f64 y 1) (+.f64 x y)) -1)

Compiler

Compiled 783 to 452 computations (42.3% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (+.f64 (neg.f64 y) -1))

series8.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

8.0ms

(/.f64 (+.f64 x y) (+.f64 (neg.f64 y) -1))

rewrite44.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

871×	`prod-diff_binary64`
868×	`expm1-log1p-u_binary64`
94×	`add-sqr-sqrt_binary64`
90×	`add-cbrt-cube_binary64`
90×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	182	10
2	2785	10

Stop Event

1×	node limit

Counts

1 → 35

Calls

1 calls:

44.0ms

(/.f64 (+.f64 x y) (+.f64 (neg.f64 y) -1))

simplify40.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

588×	`associate-+l-_binary64`
530×	`cancel-sign-sub-inv_binary64`
492×	`sub-neg_binary64`
413×	`fma-neg_binary64`
255×	`associate--r+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	51	445
1	153	440
2	468	433
3	1878	384

Stop Event

1×	node limit

Counts

59 → 56

prune31.0ms (1.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	56	3	59

Error

Counts

59 → 3

Alt Table

Status	Error	Program
	0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))
✓	0.0b	(neg.f64 (/.f64 (+.f64 x y) (+.f64 (neg.f64 y) -1)))
▶	0.1b	(pow.f64 (/.f64 (+.f64 y 1) (+.f64 x y)) -1)

Compiler

Compiled 830 to 515 computations (38% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 y 1) (+.f64 x y))
✓	0.1b	(pow.f64 (/.f64 (+.f64 y 1) (+.f64 x y)) -1)

series51.0ms (3.2%)

Counts

2 → 48

Calls

2 calls:

28.0ms	(pow.f64 (/.f64 (+.f64 y 1) (+.f64 x y)) -1)
24.0ms	(/.f64 (+.f64 y 1) (+.f64 x y))

rewrite47.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

565×	`prod-diff_binary64`
251×	`fma-def_binary64`
169×	`log1p-udef_binary64`
168×	`expm1-udef_binary64`
159×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	199	20
2	2735	20

Stop Event

1×	node limit

Counts

2 → 81

Calls

2 calls:

46.0ms	(/.f64 (+.f64 y 1) (+.f64 x y))
46.0ms	(pow.f64 (/.f64 (+.f64 y 1) (+.f64 x y)) -1)

simplify56.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

321×	`sub-neg_binary64`
317×	`associate-+r+_binary64`
264×	`+-commutative_binary64`
255×	`cancel-sign-sub-inv_binary64`
249×	`associate-+l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	242	2511
1	811	2502
2	3425	2345

Stop Event

1×	node limit

Counts

129 → 143

prune107.0ms (6.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	143	3	146

Error

Counts

146 → 3

Alt Table

Status	Error	Program
▶	0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))
✓	0.0b	(neg.f64 (/.f64 (+.f64 x y) (+.f64 (neg.f64 y) -1)))
✓	0.1b	(pow.f64 (/.f64 (+.f64 y 1) (+.f64 x y)) -1)

Compiler

Compiled 3930 to 2489 computations (36.7% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (+.f64 y 1))
✓	0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

series9.0ms (0.5%)

Counts

2 → 36

Calls

2 calls:

6.0ms	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))
2.0ms	(/.f64 1 (+.f64 y 1))

rewrite52.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

556×	`prod-diff_binary64`
418×	`log-prod_binary64`
255×	`fma-def_binary64`
155×	`log1p-udef_binary64`
154×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	180	17
2	2531	17

Stop Event

1×	node limit

Counts

2 → 77

Calls

2 calls:

44.0ms	(/.f64 1 (+.f64 y 1))
44.0ms	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))

simplify49.0ms (3%)

Algorithm

1×	egg-herbie

Rules

664×	`cancel-sign-sub-inv_binary64`
569×	`associate-+l-_binary64`
385×	`sub-neg_binary64`
378×	`associate--r+_binary64`
304×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	58	590
1	171	581
2	536	574
3	2070	572

Stop Event

1×	node limit

Counts

113 → 110

prune77.0ms (4.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	110	3	113

Error

Counts

113 → 3

Alt Table

Status	Error	Program
✓	0.1b	(*.f64 (+.f64 x y) (/.f64 1 (+.f64 y 1)))
✓	0.0b	(neg.f64 (/.f64 (+.f64 x y) (+.f64 (neg.f64 y) -1)))
✓	0.1b	(pow.f64 (/.f64 (+.f64 y 1) (+.f64 x y)) -1)

Compiler

Compiled 1545 to 918 computations (40.6% saved)

regimes105.0ms (6.5%)

Accuracy

Total 0.0b remaining (52.6%)

Threshold costs 0.0b (52.6%)

Counts

40 → 1

Compiler

Compiled 1195 to 867 computations (27.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10

Stop Event

1×

saturated

end48.0ms (2.9%)

Compiler: Compiled 51 to 36 computations (29.4% saved)

Details

analyze56.0ms (3.5%)

sample698.0ms (43%)

simplify6.0ms (0.4%)

prune1.0ms (0.1%)

localize4.0ms (0.2%)

series7.0ms (0.4%)

rewrite48.0ms (3%)

simplify23.0ms (1.4%)

prune37.0ms (2.3%)

localize6.0ms (0.3%)

series8.0ms (0.5%)

rewrite44.0ms (2.7%)

simplify40.0ms (2.5%)

prune31.0ms (1.9%)

localize5.0ms (0.3%)

series51.0ms (3.2%)

rewrite47.0ms (2.9%)

simplify56.0ms (3.4%)

prune107.0ms (6.6%)

localize6.0ms (0.4%)

series9.0ms (0.5%)

rewrite52.0ms (3.2%)

simplify49.0ms (3%)

prune77.0ms (4.7%)

regimes105.0ms (6.5%)

simplify2.0ms (0.1%)

end48.0ms (2.9%)

Profiling