Details

analyze2.1s (22.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
0%	50%	50%	2
0%	50%	50%	3
0%	50%	50%	4
3.1%	46.8%	50%	5
4.7%	45.3%	50%	6
5.5%	44.5%	50%	7
5.9%	44.1%	50%	8
6%	43.9%	50%	9
6.1%	43.8%	50%	10
6.2%	43.8%	50%	11
6.2%	43.7%	50%	12
6.2%	43.7%	50%	13
6.2%	43.7%	50%	14

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample6.4s (69.7%)

Results

4.1s	4150×	body	1024	valid
1.3s	2115×	body	512	valid
508.0ms	410×	body	2048	valid
308.0ms	992×	body	256	valid
87.0ms	589×	body	128	valid

Compiler

Compiled 44 to 34 computations (22.7% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`sub-neg_binary64`
6×	`fma-def_binary64`
5×	`+-commutative_binary64`
4×	`associate-+l-_binary64`
3×	`associate--r+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	14	10
2	19	10
3	25	10
4	32	10
5	42	10
6	53	10
7	66	10
8	70	10
9	53	10

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
	62.1b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Compiler

Compiled 50 to 38 computations (24% saved)

localize4.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

series12.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

12.0ms

(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

rewrite66.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

587×	`log1p-udef_binary64`
402×	`expm1-log1p-u_binary64`
400×	`log1p-expm1-u_binary64`
371×	`prod-diff_binary64`
316×	`unpow-prod-down_binary64`

Counts

1 → 1

Calls

1 calls:

66.0ms

(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	124	8
2	1109	1
3	3791	1
4	4959	1
0	0	0
1	0	0

simplify59.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

712×	`associate-/r*_binary64`
379×	`div-sub_binary64`
288×	`fma-def_binary64`
211×	`times-frac_binary64`
195×	`distribute-rgt-in_binary64`

Counts

13 → 24

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	131	1007
1	406	993
2	1544	781
3	4751	780
4	5424	780

prune32.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	23	3	26

Error

0.0b

Counts

26 → 3

Alt Table

Status	Error	Program
▶	0.4b	(-.f64 -1 (fma.f64 1/2 (*.f64 x x) x))
✓	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
	62.1b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Compiler

Compiled 1234 to 941 computations (23.7% saved)

localize5.0ms (0.1%)

prune2.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

0.0b

Counts

3 → 3

Alt Table

Status	Error	Program
✓	0.4b	(-.f64 -1 (fma.f64 1/2 (*.f64 x x) x))
✓	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
▶	62.1b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Compiler

Compiled 36 to 27 computations (25% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
✓	6.6b	(log.f64 (+.f64 1 x))
✓	7.1b	(log.f64 (-.f64 1 x))

series20.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

15.0ms	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
3.0ms	(log.f64 (-.f64 1 x))
2.0ms	(log.f64 (+.f64 1 x))

rewrite48.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

815×	`log1p-expm1-u_binary64`
815×	`expm1-log1p-u_binary64`
186×	`prod-diff_binary64`
81×	`add-sqr-sqrt_binary64`
76×	`egg-rr`

Counts

3 → 76

Calls

3 calls:

47.0ms	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
47.0ms	(log.f64 (+.f64 1 x))
47.0ms	(log.f64 (-.f64 1 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	163	18
2	2072	18
3	5394	18
0	0	0
1	0	0

simplify74.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

518×	`fma-def_binary64`
288×	`times-frac_binary64`
278×	`fma-neg_binary64`
265×	`distribute-rgt-in_binary64`
245×	`sub-neg_binary64`

Counts

112 → 142

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	180	1409
1	567	1361
2	2092	1153
3	4950	1151
4	5064	1151

prune70.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	141	1	142
Fresh	0	0	0
Picked	1	0	1
Done	1	1	2
Total	143	2	145

Error

Counts

145 → 2

Alt Table

Status	Error	Program
✓	0.4b	(-.f64 -1 (fma.f64 1/2 (*.f64 x x) x))
▶	0.2b	(*.f64 (log1p.f64 (neg.f64 x)) (/.f64 1 (log1p.f64 x)))

Compiler

Compiled 2854 to 1923 computations (32.6% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (log1p.f64 x))
✓	0.2b	(*.f64 (log1p.f64 (neg.f64 x)) (/.f64 1 (log1p.f64 x)))

series22.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

15.0ms	(*.f64 (log1p.f64 (neg.f64 x)) (/.f64 1 (log1p.f64 x)))
7.0ms	(/.f64 1 (log1p.f64 x))

rewrite43.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

505×	`expm1-log1p-u_binary64`
503×	`log1p-expm1-u_binary64`
453×	`unpow-prod-down_binary64`
282×	`log-prod_binary64`
142×	`pow2_binary64`

Counts

2 → 64

Calls

2 calls:

41.0ms	(/.f64 1 (log1p.f64 x))
41.0ms	(*.f64 (log1p.f64 (neg.f64 x)) (/.f64 1 (log1p.f64 x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	158	14
2	1361	14
3	5129	14
0	0	0
1	0	0

simplify65.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

362×	`fma-def_binary64`
287×	`div-sub_binary64`
227×	`times-frac_binary64`
224×	`distribute-rgt-in_binary64`
211×	`distribute-neg-in_binary64`

Counts

88 → 109

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	173	1565
1	535	1547
2	1967	1213
3	4673	1212
4	5221	1212

prune66.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	109	2	111

Error

Counts

111 → 2

Alt Table

Status	Error	Program
✓	0.4b	(-.f64 -1 (fma.f64 1/2 (*.f64 x x) x))
✓	0.2b	(*.f64 (log1p.f64 (neg.f64 x)) (/.f64 1 (log1p.f64 x)))

Compiler

Compiled 2675 to 1772 computations (33.8% saved)

regimes20.0ms (0.2%)

Accuracy

Total 0.0b remaining (60.7%)

Threshold costs 0.0b (60.7%)

Counts

9 → 1

Compiler

Compiled 180 to 138 computations (23.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`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	12	10
3	13	10
4	13	10

end41.0ms (0.4%)

Compiler: Compiled 32 to 23 computations (28.1% saved)

Details

analyze2.1s (22.9%)

sample6.4s (69.7%)

simplify8.0ms (0.1%)

prune4.0ms (0%)

localize4.0ms (0%)

series12.0ms (0.1%)

rewrite66.0ms (0.7%)

simplify59.0ms (0.7%)

prune32.0ms (0.3%)

localize5.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series20.0ms (0.2%)

rewrite48.0ms (0.5%)

simplify74.0ms (0.8%)

prune70.0ms (0.8%)

localize5.0ms (0.1%)

series22.0ms (0.2%)

rewrite43.0ms (0.5%)

simplify65.0ms (0.7%)

prune66.0ms (0.7%)

regimes20.0ms (0.2%)

simplify2.0ms (0%)

end41.0ms (0.4%)

Profiling