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 (42.7%)

Results

847.0ms	8256×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify159.0ms (6.6%)

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`

Counts

1 → 1

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

prune1.0ms (0.1%)

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

series671.0ms (28%)

Counts

2 → 16

Calls

2 calls:

347.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
324.0ms	(log.f64 (log.f64 x))

rewrite9.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64`
19×	`pow1_binary64`
17×	`add-sqr-sqrt_binary64`
17×	`log-pow_binary64`
16×	`prod-diff_binary64`

Counts

2 → 64

Calls

2 calls:

4.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
1.0ms	(log.f64 (log.f64 x))

simplify130.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

574×	`fma-neg_binary64`
388×	`unsub-neg_binary64`
356×	`neg-sub0_binary64`
331×	`neg-mul-1_binary64`
289×	`associate-l_binary64`

Counts

80 → 66

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	94	1346
1	172	931
2	477	801
3	2027	799
4	3623	793
5	4612	793
6	4902	793
7	4940	793
8	4827	793

prune35.0ms (1.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	64	2	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	2	67

Error

Counts

67 → 2

Alt Table

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

Compiler

Compiled 1072 to 286 computations (73.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series44.0ms (1.8%)

Counts

1 → 8

Calls

1 calls:

44.0ms

(/.f64 x (log.f64 x))

rewrite6.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`times-frac_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
5×	`pow1_binary64`

Counts

1 → 33

Calls

1 calls:

2.0ms

(/.f64 x (log.f64 x))

simplify57.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

593×	`fma-neg_binary64`
536×	`div-sub_binary64`
375×	`distribute-rgt-in_binary64`
345×	`sub-neg_binary64`
340×	`distribute-lft-in_binary64`

Counts

41 → 35

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	61	492
1	104	456
2	211	426
3	390	426
4	1503	426
5	3684	426
6	4924	426

prune20.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	35	2	37

Error

Counts

37 → 2

Alt Table

Status	Error	Program
✓	0.0b	(log.f64 (/.f64 x (log.f64 x)))
▶	0.0b	(log.f64 (expm1.f64 (log1p.f64 (/.f64 x (log.f64 x)))))

Compiler

Compiled 402 to 160 computations (60.2% saved)

localize9.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.2b	(/.f64 x (log.f64 x))
✓	5.5b	(expm1.f64 (log1p.f64 (/.f64 x (log.f64 x))))

series38.0ms (1.6%)

Counts

1 → 12

Calls

1 calls:

37.0ms

(expm1.f64 (log1p.f64 (/.f64 x (log.f64 x))))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 11

Calls

1 calls:

0.0ms

(expm1.f64 (log1p.f64 (/.f64 x (log.f64 x))))

simplify47.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

793×	`fma-def_binary64`
780×	`fma-neg_binary64`
739×	`div-sub_binary64`
615×	`sub-neg_binary64`
272×	`neg-mul-1_binary64`

Counts

23 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	178
1	39	165
2	64	165
3	133	165
4	237	165
5	1319	165
6	3052	165
7	5068	165

prune28.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	55	2	57

Error

Counts

57 → 2

Alt Table

Status	Error	Program
✓	0.0b	(log.f64 (/.f64 x (log.f64 x)))
✓	0.0b	(log.f64 (expm1.f64 (log1p.f64 (/.f64 x (log.f64 x)))))

Compiler

Compiled 679 to 276 computations (59.4% saved)

regimes68.0ms (2.8%)

Accuracy

Total 0.0b remaining (17.9%)

Threshold costs 0.0b (17.9%)

Counts

14 → 1

Compiler

Compiled 998 to 474 computations (52.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	5	8

end39.0ms (1.6%)

Compiler: Compiled 26 to 18 computations (30.8% saved)

Details

analyze3.0ms (0.1%)

sample1.0s (42.7%)

simplify159.0ms (6.6%)

prune1.0ms (0.1%)

localize5.0ms (0.2%)

series671.0ms (28%)

rewrite9.0ms (0.4%)

simplify130.0ms (5.4%)

prune35.0ms (1.5%)

localize5.0ms (0.2%)

series44.0ms (1.8%)

rewrite6.0ms (0.2%)

simplify57.0ms (2.4%)

prune20.0ms (0.8%)

localize9.0ms (0.4%)

series38.0ms (1.6%)

rewrite1.0ms (0%)

simplify47.0ms (1.9%)

prune28.0ms (1.2%)

regimes68.0ms (2.8%)

simplify2.0ms (0.1%)

end39.0ms (1.6%)

Profiling