Details

analyze180.0ms (4.8%)

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)

sample19.0ms (0.5%)

Algorithm

1×

intervals

Results

12.0ms

256×

body

128

valid

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify175.0ms (4.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

prune2.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.3b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 21 to 12 computations (42.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite10.0ms (0.3%)

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:

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

series1.5s (39.1%)

Counts

2 → 16

Calls

2 calls:

851.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
628.0ms	(log.f64 (log.f64 x))

simplify155.0ms (4.1%)

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 → 136

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

prune34.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	135	2	137

Error

Counts

137 → 2

Alt Table

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

Compiler

Compiled 1053 to 274 computations (74% saved)

localize5.0ms (0.1%)

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

rewrite8.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`times-frac_binary64`
19×	`*-un-lft-identity_binary64`
19×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64`
16×	`log-prod_binary64`

Counts

2 → 62

Calls

2 calls:

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

series894.0ms (23.6%)

Counts

2 → 20

Calls

2 calls:

607.0ms	(log.f64 (/.f64 x (log.f64 x)))
286.0ms	(/.f64 x (log.f64 x))

simplify149.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

753×	`fma-neg_binary64`
652×	`times-frac_binary64`
280×	`associate-/l*_binary64`
275×	`distribute-rgt-in_binary64`
268×	`associate-/l/_binary64`

Counts

82 → 128

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	98	1046
1	170	985
2	371	933
3	982	931
4	3948	931
5	4737	931
6	4972	931
7	4989	931
8	4981	931

prune29.0ms (0.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

130 → 2

Alt Table

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

Compiler

Compiled 828 to 275 computations (66.8% saved)

regimes51.0ms (1.3%)

Accuracy

Total 0.0b remaining (84.2%)

Threshold costs 0.0b (84.2%)

Compiler

Compiled 818 to 348 computations (57.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	5	8

end0.0ms (0%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

sample586.0ms (15.5%)

Algorithm

1×

intervals

Results

375.0ms	8000×	body	128	valid
0.0ms	4×	body	128	nan

Compiler

Compiled 28 to 18 computations (35.7% saved)

Details

analyze180.0ms (4.8%)

sample19.0ms (0.5%)

simplify175.0ms (4.6%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite10.0ms (0.3%)

series1.5s (39.1%)

simplify155.0ms (4.1%)

prune34.0ms (0.9%)

localize5.0ms (0.1%)

rewrite8.0ms (0.2%)

series894.0ms (23.6%)

simplify149.0ms (3.9%)

prune29.0ms (0.8%)

regimes51.0ms (1.3%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample586.0ms (15.5%)

Profiling