Details

analyze5.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 14 to 12 computations (14.3% saved)

sample4.7s (72.9%)

Results

2.7s	4187×	body	1024	valid
821.0ms	2075×	body	512	valid
341.0ms	436×	body	2048	valid
216.0ms	953×	body	256	valid
74.0ms	605×	body	128	valid

Compiler

Compiled 41 to 35 computations (14.6% saved)

simplify500.0ms (7.7%)

Algorithm

1×	egg-herbie

Rules

7982×	`fma-neg_binary64`
642×	`unsub-neg_binary64`
573×	`distribute-neg-in_binary64`
572×	`distribute-rgt-in_binary64`
535×	`distribute-rgt-out--_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	20	13
2	28	13
3	43	13
4	67	13
5	95	13
6	136	13
7	234	13
8	429	13
9	636	13
10	827	13
11	918	13
12	1093	13
13	1183	13
14	1272	13
15	1630	13
16	2135	13
17	2217	13
18	2418	13
19	2438	13
20	2558	13
21	2558	13
22	2954	13
23	3004	13
24	3130	13
25	3162	13
26	3210	13
27	3230	13
28	3238	13
29	3238	13
30	3238	13
31	3574	13
32	3558	13
33	3856	13
34	4014	13
35	4100	13
36	4126	13
37	4142	13
38	4154	13
39	4190	13
40	4202	13
41	4206	13
42	4206	13
43	11004	13

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 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
	57.9b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))

Compiler

Compiled 65 to 53 computations (18.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

rewrite94.0ms (1.5%)

Algorithm

1×	egg-rewrite

Rules

99× egg

Counts

1 → 99

Calls

1 calls:

92.0ms

(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

Iterations

Useful iterations: 1 (0.0ms)

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

simplify56.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

805×	`fma-def_binary64`
633×	`fma-neg_binary64`
534×	`associate-/r*_binary64`
503×	`associate-/l/_binary64`
369×	`times-frac_binary64`

Counts

111 → 120

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	174
1	108	174
2	245	174
3	519	174
4	897	174
5	1928	174
6	4647	174
7	5088	174

prune45.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	119	3	122

Error

0.0b

Counts

122 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
▶	0.5b	(.f64 1/2 (fma.f64 2 x (.f64 2/3 (pow.f64 x 3))))
	57.9b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))

Compiler

Compiled 2069 to 1016 computations (50.9% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0%)

Counts

1 → 0

Calls

1 calls:

3.0ms

(*.f64 2/3 (pow.f64 x 3))

rewrite78.0ms (1.2%)

Algorithm

1×	egg-rewrite

Rules

47× egg

Counts

1 → 47

Calls

1 calls:

77.0ms

(*.f64 2/3 (pow.f64 x 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1262	7
3	4849	7
4	6205	7

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune34.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	47	3	50

Error

0.0b

Counts

50 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓	0.5b	(.f64 1/2 (fma.f64 2 x (.f64 2/3 (pow.f64 x 3))))
▶	57.9b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))

Compiler

Compiled 739 to 590 computations (20.2% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series5.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

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

rewrite101.0ms (1.6%)

Algorithm

2×	egg-rewrite

Rules

50×	`egg`
38×	`egg`

Counts

2 → 88

Calls

2 calls:

52.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
48.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	150	10
2	1974	10
3	5211	10
0	6	10
1	133	10
2	1792	10
3	4963	10

simplify83.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

878×	`fma-def_binary64`
690×	`fma-neg_binary64`
436×	`cancel-sign-sub-inv_binary64`
409×	`unswap-sqr_binary64`
379×	`times-frac_binary64`

Counts

112 → 115

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	54	323
1	166	302
2	455	300
3	1138	300
4	2584	296
5	4116	296
6	4853	296
7	4997	296

prune57.0ms (0.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	114	4	118

Error

0.0b

Counts

118 → 4

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓	0.5b	(.f64 1/2 (fma.f64 2 x (.f64 2/3 (pow.f64 x 3))))
▶	32.8b	(.f64 (/.f64 1 2) (+.f64 (fma.f64 (sqrt.f64 (log1p.f64 x)) (sqrt.f64 (log1p.f64 x)) (neg.f64 (.f64 (log1p.f64 (neg.f64 x)) 1))) (fma.f64 (neg.f64 (log1p.f64 (neg.f64 x))) 1 (*.f64 (log1p.f64 (neg.f64 x)) 1))))
✓	57.9b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))

Compiler

Compiled 2201 to 1506 computations (31.6% saved)

localize16.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (log1p.f64 x))
✓	0.0b	(fma.f64 (sqrt.f64 (log1p.f64 x)) (sqrt.f64 (log1p.f64 x)) (neg.f64 (*.f64 (log1p.f64 (neg.f64 x)) 1)))

series48.0ms (0.7%)

Counts

2 → 17

Calls

2 calls:

36.0ms	(fma.f64 (sqrt.f64 (log1p.f64 x)) (sqrt.f64 (log1p.f64 x)) (neg.f64 (*.f64 (log1p.f64 (neg.f64 x)) 1)))
12.0ms	(sqrt.f64 (log1p.f64 x))

rewrite166.0ms (2.6%)

Algorithm

2×	egg-rewrite

Rules

219×	`egg`
38×	`egg`

Counts

2 → 257

Calls

2 calls:

80.0ms	(sqrt.f64 (log1p.f64 x))
79.0ms	(fma.f64 (sqrt.f64 (log1p.f64 x)) (sqrt.f64 (log1p.f64 x)) (neg.f64 (*.f64 (log1p.f64 (neg.f64 x)) 1)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	12
1	176	8
2	1211	8
3	5009	8
0	4	5
1	76	5
2	805	5
3	4912	5
4	4861	5

simplify81.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

766×	`fma-neg_binary64`
382×	`associate-+l+_binary64`
344×	`fma-def_binary64`
284×	`associate-/r*_binary64`
274×	`sub-neg_binary64`

Counts

274 → 287

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	105	775
1	314	637
2	1030	480
3	3970	473
4	4959	473
5	4957	473

prune236.0ms (3.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	340	0	340
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	340	4	344

Error

0.0b

Counts

344 → 4

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓	0.5b	(.f64 1/2 (fma.f64 2 x (.f64 2/3 (pow.f64 x 3))))
✓	32.8b	(.f64 (/.f64 1 2) (+.f64 (fma.f64 (sqrt.f64 (log1p.f64 x)) (sqrt.f64 (log1p.f64 x)) (neg.f64 (.f64 (log1p.f64 (neg.f64 x)) 1))) (fma.f64 (neg.f64 (log1p.f64 (neg.f64 x))) 1 (*.f64 (log1p.f64 (neg.f64 x)) 1))))
✓	57.9b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))

Compiler

Compiled 16395 to 7668 computations (53.2% saved)

regimes34.0ms (0.5%)

Accuracy

Total 0.0b remaining (78.6%)

Threshold costs 0.0b (78.6%)

Counts

9 → 1

Compiler

Compiled 556 to 414 computations (25.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
3×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	15	13
2	20	13
3	23	13
4	24	13
5	24	13

end72.0ms (1.1%)

Compiler: Compiled 81 to 60 computations (25.9% saved)

Details

analyze5.0ms (0.1%)

sample4.7s (72.9%)

simplify500.0ms (7.7%)

prune4.0ms (0.1%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite94.0ms (1.5%)

simplify56.0ms (0.9%)

prune45.0ms (0.7%)

localize6.0ms (0.1%)

series3.0ms (0%)

rewrite78.0ms (1.2%)

simplify6.0ms (0.1%)

prune34.0ms (0.5%)

localize8.0ms (0.1%)

series5.0ms (0.1%)

rewrite101.0ms (1.6%)

simplify83.0ms (1.3%)

prune57.0ms (0.9%)

localize16.0ms (0.3%)

series48.0ms (0.7%)

rewrite166.0ms (2.6%)

simplify81.0ms (1.2%)

prune236.0ms (3.7%)

regimes34.0ms (0.5%)

simplify3.0ms (0%)

end72.0ms (1.1%)

Profiling