Details

analyze12.0ms (0.2%)

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.7s (76.9%)

Results

2.2s	4185×	body	1024	valid
706.0ms	2077×	body	512	valid
313.0ms	436×	body	2048	valid
197.0ms	953×	body	256	valid
67.0ms	605×	body	128	valid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify218.0ms (4.5%)

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

prune4.0ms (0.1%)

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 eps)) (log1p.f64 eps))
	57.9b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 47 to 35 computations (25.5% saved)

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

series4.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

4.0ms

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

rewrite82.0ms (1.7%)

Algorithm

2×	batch-egg-rewrite

Rules

94× egg-rr

Counts

1 → 94

Calls

2 calls:

80.0ms	((-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
0.0ms	()

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

simplify72.0ms (1.5%)

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

prune46.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	115	3	118

Error

Counts

118 → 3

Alt Table

Status	Error	Program
▶	0.3b	(neg.f64 (+.f64 (.f64 2/7 (pow.f64 eps 7)) (+.f64 (.f64 2 eps) (+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3))))))
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
	57.9b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 1783 to 771 computations (56.8% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3)))
✓	0.1b	(*.f64 2/7 (pow.f64 eps 7))
✓	0.1b	(*.f64 2/5 (pow.f64 eps 5))
✓	0.1b	(*.f64 2/3 (pow.f64 eps 3))

series19.0ms (0.4%)

Counts

4 → 3

Calls

4 calls:

8.0ms	(*.f64 2/5 (pow.f64 eps 5))
4.0ms	(+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3)))
3.0ms	(*.f64 2/7 (pow.f64 eps 7))
3.0ms	(*.f64 2/3 (pow.f64 eps 3))

rewrite65.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

98× egg-rr

Counts

4 → 98

Calls

2 calls:

63.0ms	((.f64 2/3 (pow.f64 eps 3)) (.f64 2/5 (pow.f64 eps 5)) (.f64 2/7 (pow.f64 eps 7)) (+.f64 (.f64 2/5 (pow.f64 eps 5)) (*.f64 2/3 (pow.f64 eps 3))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	35
1	330	35
2	3517	35
3	4811	35
0	0	0
1	0	0

simplify124.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1252×	`sqr-pow_binary64`
710×	`cube-prod_binary64`
698×	`pow-sqr_binary64`
694×	`fabs-mul_binary64`
416×	`unswap-sqr_binary64`

Counts

101 → 100

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	24	21
2	50	21
3	86	21
4	170	21
5	415	21
6	554	21
7	908	21
8	924	21
9	1080	21
10	1267	21
11	1529	21
12	1809	21
13	2224	21
14	2693	21
15	3353	21
16	3641	21
17	3937	21
18	4147	21
19	4235	21
20	4335	21
21	5356	21

prune104.0ms (2.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	100	3	103

Error

Counts

103 → 3

Alt Table

Status	Error	Program
✓	0.3b	(neg.f64 (+.f64 (.f64 2/7 (pow.f64 eps 7)) (+.f64 (.f64 2 eps) (+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3))))))
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	57.9b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 2728 to 2257 computations (17.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
✓	5.6b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

series5.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

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

rewrite78.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

145× egg-rr

Counts

2 → 145

Calls

2 calls:

73.0ms	((log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	22
1	152	20
2	2049	20
3	5720	20
0	0	0
1	0	0

simplify53.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

640×	`fma-neg_binary64`
542×	`sub-neg_binary64`
510×	`cancel-sign-sub-inv_binary64`
461×	`times-frac_binary64`
339×	`associate-l_binary64`

Counts

169 → 173

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	56	322
1	173	316
2	491	302
3	1436	302
4	4165	302
5	5233	302

prune108.0ms (2.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

176 → 3

Alt Table

Status	Error	Program
✓	0.3b	(neg.f64 (+.f64 (.f64 2/7 (pow.f64 eps 7)) (+.f64 (.f64 2 eps) (+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3))))))
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	57.9b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 5421 to 3558 computations (34.4% saved)

regimes46.0ms (1%)

Accuracy

Total 0.0b remaining (85.7%)

Threshold costs 0.0b (85.7%)

Counts

18 → 1

Compiler

Compiled 860 to 658 computations (23.5% saved)

simplify2.0ms (0%)

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

end53.0ms (1.1%)

Compiler: Compiled 53 to 41 computations (22.6% saved)

Details

analyze12.0ms (0.2%)

sample3.7s (76.9%)

simplify218.0ms (4.5%)

prune4.0ms (0.1%)

localize5.0ms (0.1%)

series4.0ms (0.1%)

rewrite82.0ms (1.7%)

simplify72.0ms (1.5%)

prune46.0ms (1%)

localize12.0ms (0.3%)

series19.0ms (0.4%)

rewrite65.0ms (1.4%)

simplify124.0ms (2.6%)

prune104.0ms (2.2%)

localize5.0ms (0.1%)

series5.0ms (0.1%)

rewrite78.0ms (1.6%)

simplify53.0ms (1.1%)

prune108.0ms (2.2%)

regimes46.0ms (1%)

simplify2.0ms (0%)

end53.0ms (1.1%)

Profiling