Details

analyze7.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample6.4s (86.7%)

Results

3.9s	4141×	body	1024	valid
1.1s	2041×	body	512	valid
535.0ms	423×	body	2048	valid
370.0ms	1042×	body	256	valid
107.0ms	609×	body	128	valid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify239.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

3656×	`fma-def_binary64`
1088×	`fma-neg_binary64`
739×	`distribute-rgt-in_binary64`
501×	`distribute-lft-in_binary64`
425×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	18	10
2	28	10
3	41	10
4	70	10
5	92	10
6	140	10
7	245	10
8	414	10
9	537	10
10	694	10
11	940	10
12	1451	10
13	1750	10
14	1999	10
15	2072	10
16	2086	10
17	2086	10
18	3526	10
19	2536	10
20	2614	10
21	2622	10
22	2630	10
23	2630	10
24	2830	10
25	3322	10
26	3370	10
27	3344	10
28	5722	10

prune6.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

Compiler

Compiled 29 to 21 computations (27.6% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

series6.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

6.0ms

(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

rewrite137.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

874×	`log1p-udef_binary64`
484×	`expm1-log1p-u_binary64`
482×	`log1p-expm1-u_binary64`
391×	`prod-diff_binary64`
300×	`unpow-prod-down_binary64`

Counts

1 → 94

Calls

1 calls:

132.0ms

(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	130	8
2	1224	8
3	4990	8
4	6467	8
0	0	0
1	0	0

simplify84.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

550×	`fma-neg_binary64`
525×	`distribute-neg-frac_binary64`
498×	`sub-neg_binary64`
456×	`div-sub_binary64`
285×	`distribute-rgt-neg-in_binary64`

Counts

106 → 116

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	48	186
1	148	180
2	424	174
3	1224	174
4	2715	174
5	3890	174
6	4681	174
7	4936	174

prune80.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	115	2	117

Error

0.0b

Counts

117 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	0.4b	(fma.f64 (pow.f64 eps 3) -2/3 (*.f64 -2 eps))

Compiler

Compiled 1737 to 733 computations (57.8% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (pow.f64 eps 3) -2/3 (*.f64 -2 eps))

series6.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

6.0ms

(fma.f64 (pow.f64 eps 3) -2/3 (*.f64 -2 eps))

rewrite58.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

646×	`log1p-expm1-u_binary64`
646×	`expm1-log1p-u_binary64`
304×	`log-prod_binary64`
134×	`expm1-udef_binary64`
134×	`log1p-udef_binary64`

Counts

1 → 29

Calls

1 calls:

57.0ms

(fma.f64 (pow.f64 eps 3) -2/3 (*.f64 -2 eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	167	11
2	1690	11
3	5066	11
0	0	0
1	0	0

simplify179.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1257×	`fma-neg_binary64`
871×	`fma-def_binary64`
853×	`distribute-rgt-neg-in_binary64`
651×	`cancel-sign-sub-inv_binary64`
527×	`sqr-pow_binary64`

Counts

41 → 34

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	135
1	34	135
2	87	117
3	218	117
4	471	117
5	990	117
6	1564	117
7	2407	117
8	2620	117
9	3224	117
10	3465	117
11	3672	117
12	2502	117
13	3380	117
14	3601	117
15	4584	117
16	4674	117

prune38.0ms (0.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	34	0	34
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	34	2	36

Error

0.0b

Counts

36 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	0.4b	(fma.f64 (pow.f64 eps 3) -2/3 (*.f64 -2 eps))

Compiler

Compiled 474 to 382 computations (19.4% saved)

regimes34.0ms (0.5%)

Accuracy

Total 0.0b remaining (56.9%)

Threshold costs 0.0b (56.9%)

Counts

5 → 1

Compiler

Compiled 158 to 121 computations (23.4% saved)

simplify4.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	10
1	12	10
2	17	10
3	20	10
4	21	10
5	21	10

end78.0ms (1.1%)

Compiler: Compiled 30 to 22 computations (26.7% saved)

Details

analyze7.0ms (0.1%)

sample6.4s (86.7%)

simplify239.0ms (3.3%)

prune6.0ms (0.1%)

localize8.0ms (0.1%)

series6.0ms (0.1%)

rewrite137.0ms (1.9%)

simplify84.0ms (1.1%)

prune80.0ms (1.1%)

localize9.0ms (0.1%)

series6.0ms (0.1%)

rewrite58.0ms (0.8%)

simplify179.0ms (2.4%)

prune38.0ms (0.5%)

regimes34.0ms (0.5%)

simplify4.0ms (0.1%)

end78.0ms (1.1%)

Profiling