Details

analyze4.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)

sample3.5s (89.3%)

Results

2.2s	4157×	body	1024	valid
713.0ms	2044×	body	512	valid
309.0ms	409×	body	2048	valid
226.0ms	999×	body	256	valid
71.0ms	647×	body	128	valid

Compiler

Compiled 20 to 16 computations (20% saved)

preprocess65.0ms (1.6%)

Algorithm

2×	egg-herbie

Rules

1088×	`fma-neg_binary64`
868×	`fma-def_binary64`
300×	`associate--r-_binary64`
263×	`distribute-rgt-in_binary64`
260×	`div-sub_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	18	10
2	28	10
3	41	10
4	71	10
5	103	10
6	157	10
7	290	10
8	601	10
9	1032	10
10	1439	10
11	1983	10
12	2715	10
13	3801	10
14	4636	10
15	4734	10
16	4766	10
17	4766	10
0	1	1

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify59.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1088×	`fma-neg_binary64`
868×	`fma-def_binary64`
300×	`associate--r-_binary64`
263×	`distribute-rgt-in_binary64`
260×	`div-sub_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	18	10
2	28	10
3	41	10
4	71	10
5	103	10
6	157	10
7	290	10
8	601	10
9	1032	10
10	1439	10
11	1983	10
12	2715	10
13	3801	10
14	4636	10
15	4734	10
16	4766	10
17	4766	10

Stop Event

1×	node limit

Counts

1 → 2

prune3.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)

localize4.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))

series3.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

1.0ms	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))	eps	0
1.0ms	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))	eps	-inf
1.0ms	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))	eps	inf

rewrite37.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

484×	`expm1-log1p-u_binary64`
482×	`log1p-expm1-u_binary64`
391×	`prod-diff_binary64`
219×	`log-prod_binary64`
153×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	130	8
2	1854	8

Stop Event

1×	node limit

Counts

1 → 82

simplify29.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

550×	`fma-neg_binary64`
446×	`sub-neg_binary64`
285×	`cancel-sign-sub-inv_binary64`
218×	`distribute-neg-in_binary64`
195×	`associate-+l-_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	48	186
1	148	180
2	439	174
3	1507	174
4	3974	174

Stop Event

1×	node limit

Counts

94 → 104

prune38.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	103	2	105

Error

Counts

105 → 2

Alt Table

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

Compiler

Compiled 1538 to 650 computations (57.7% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

1.0ms	(*.f64 (pow.f64 eps 3) -2/3)	eps	0
1.0ms	(*.f64 (pow.f64 eps 3) -2/3)	eps	inf
1.0ms	(*.f64 (pow.f64 eps 3) -2/3)	eps	-inf

rewrite30.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

476×	`log1p-expm1-u_binary64`
476×	`expm1-log1p-u_binary64`
317×	`unpow-prod-down_binary64`
235×	`log-prod_binary64`
139×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1337	7

Stop Event

1×	node limit

Counts

1 → 17

simplify67.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

728×	`sqr-pow_binary64`
438×	`associate-l_binary64`
362×	`unswap-sqr_binary64`
313×	`pow-sqr_binary64`
256×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	15	84
2	32	84
3	57	84
4	116	84
5	315	84
6	1143	84
7	1828	84
8	1915	84
9	2048	84
10	2206	84
11	2436	84
12	2758	84
13	3179	84
14	3679	84
15	4274	84
16	4996	84

Stop Event

1×	node limit

Counts

29 → 18

prune12.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	18	0	18
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	18	2	20

Error

Counts

20 → 2

Alt Table

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

Compiler

Compiled 221 to 178 computations (19.5% saved)

regimes18.0ms (0.5%)

Accuracy

Total 0.0b remaining (61.1%)

Threshold costs 0.0b (61.1%)

Counts

5 → 1

Compiler

Compiled 158 to 121 computations (23.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	10
1	12	10
2	17	10
3	20	10
4	21	10

Stop Event

1×

saturated

end44.0ms (1.1%)

Stop Event

1×

done

Compiler

Compiled 30 to 22 computations (26.7% saved)

Details

analyze4.0ms (0.1%)

sample3.5s (89.3%)

preprocess65.0ms (1.6%)

simplify59.0ms (1.5%)

prune3.0ms (0.1%)

localize4.0ms (0.1%)

series3.0ms (0.1%)

rewrite37.0ms (0.9%)

simplify29.0ms (0.7%)

prune38.0ms (1%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite30.0ms (0.7%)

simplify67.0ms (1.7%)

prune12.0ms (0.3%)

regimes18.0ms (0.5%)

simplify2.0ms (0.1%)

end44.0ms (1.1%)

Profiling