Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	50%	50%	2
25%	25%	50%	3
25%	12.5%	62.5%	4
25%	6.2%	68.8%	5
25%	3.1%	71.9%	6
25%	1.6%	73.5%	7
25%	0.8%	74.2%	8
25%	0.4%	74.6%	9
25%	0.2%	74.8%	10
25%	0.1%	74.9%	11
25%	0%	75%	12
25%	0%	75%	13
25%	0%	75%	14

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample1.0s (38.1%)

Results

864.0ms	8256×	body	128	valid
0.0ms	4×	body	128	invalid

Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify138.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

1887×	`fma-neg_binary64`
921×	`unsub-neg_binary64`
788×	`associate-+l+_binary64`
692×	`fma-def_binary64`
383×	`associate-+r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	7	10
2	12	10
3	19	10
4	26	10
5	43	10
6	69	10
7	94	10
8	140	10
9	261	10
10	495	10
11	1237	10
12	2158	10
13	2012	10
14	2131	10
15	2179	10
16	2189	10
17	2189	10
18	3301	10
19	3309	10
20	3361	10
21	3361	10
22	3885	10
23	4995	10
24	4994	10

Stop Event

1×	node limit

Counts

1 → 1

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 21 to 12 computations (42.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(log.f64 (log.f64 x))
✓	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

series572.0ms (21.3%)

Counts

2 → 16

Calls

2 calls:

288.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
284.0ms	(log.f64 (log.f64 x))

rewrite53.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

560×	`log1p-expm1-u_binary64`
560×	`expm1-log1p-u_binary64`
359×	`prod-diff_binary64`
260×	`log-prod_binary64`
167×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	13
1	105	13
2	1378	13
3	5175	13

Stop Event

1×	node limit

Counts

2 → 123

Calls

2 calls:

51.0ms	(log.f64 (log.f64 x))
51.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

simplify143.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1676×	`fma-def_binary64`
1385×	`associate--r-_binary64`
669×	`distribute-rgt-in_binary64`
625×	`fma-neg_binary64`
487×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	216
1	41	136
2	81	120
3	182	120
4	391	120
5	866	120
6	1405	120
7	1676	120
8	1791	120
9	1951	120
10	2100	120
11	2170	120
12	3345	120
13	3349	120
14	3349	120
15	3677	120
16	3689	120
17	3667	120
18	3733	120
19	3777	120
20	5120	120

Stop Event

1×	node limit

Counts

139 → 129

prune57.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	128	2	130

Error

Counts

130 → 2

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
▶	0.0b	(log.f64 (/.f64 x (log.f64 x)))

Compiler

Compiled 1905 to 615 computations (67.7% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (/.f64 x (log.f64 x)))
✓	0.2b	(/.f64 x (log.f64 x))

series277.0ms (10.3%)

Counts

2 → 20

Calls

2 calls:

240.0ms	(log.f64 (/.f64 x (log.f64 x)))
37.0ms	(/.f64 x (log.f64 x))

rewrite94.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

476×	`log1p-expm1-u_binary64`
476×	`expm1-log1p-u_binary64`
331×	`unpow-prod-down_binary64`
301×	`prod-diff_binary64`
257×	`log-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	14
1	98	14
2	1246	14
3	4891	14
4	5438	14

Stop Event

1×	node limit

Counts

2 → 240

Calls

2 calls:

88.0ms	(log.f64 (/.f64 x (log.f64 x)))
88.0ms	(/.f64 x (log.f64 x))

simplify128.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1503×	`div-sub_binary64`
1033×	`sub-neg_binary64`
834×	`distribute-rgt-in_binary64`
748×	`unsub-neg_binary64`
606×	`associate-/l/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	23	224
1	46	200
2	86	192
3	203	168
4	424	168
5	974	168
6	1918	168
7	1633	168
8	2058	168
9	2305	168
10	2438	168
11	2649	168
12	3971	168
13	3495	168
14	3195	168
15	4135	168
16	4698	168

Stop Event

1×	node limit

Counts

260 → 246

prune129.0ms (4.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	246	0	246
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	246	2	248

Error

Counts

248 → 2

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
✓	0.0b	(log.f64 (/.f64 x (log.f64 x)))

Compiler

Compiled 5477 to 2303 computations (58% saved)

regimes23.0ms (0.9%)

Accuracy

Total 0.0b remaining (86.4%)

Threshold costs 0.0b (86.4%)

Counts

6 → 1

Compiler

Compiled 201 to 122 computations (39.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	5	8

Stop Event

1×

saturated

end36.0ms (1.3%)

Compiler: Compiled 25 to 16 computations (36% saved)

Details

analyze3.0ms (0.1%)

sample1.0s (38.1%)

simplify138.0ms (5.1%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series572.0ms (21.3%)

rewrite53.0ms (2%)

simplify143.0ms (5.3%)

prune57.0ms (2.1%)

localize5.0ms (0.2%)

series277.0ms (10.3%)

rewrite94.0ms (3.5%)

simplify128.0ms (4.8%)

prune129.0ms (4.8%)

regimes23.0ms (0.9%)

simplify2.0ms (0.1%)

end36.0ms (1.3%)

Profiling