Details

analyze239.0ms (6.8%)

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)

sample81.0ms (2.3%)

Algorithm

1×

intervals

Results

46.0ms	127×	body	1024	valid
12.0ms	59×	body	512	valid
7.0ms	34×	body	256	valid
6.0ms	11×	body	2048	valid
1.0ms	25×	body	128	valid

Compiler

Compiled 20 to 16 computations (20% saved)

simplify228.0ms (6.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 → 1

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

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite50.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`add-cube-cbrt_binary64`
6×	`add-sqr-sqrt_binary64`
5×	`flip3--_binary64`
5×	`log1p-udef_binary64`
4×	`pow1_binary64`

Counts

1 → 46

Calls

1 calls:

13.0ms

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

Compiler

Compiled 1019 to 149 computations (85.4% saved)

series13.0ms (0.4%)

Error

Counts

1 → 6

Calls

1 calls:

9.0ms

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

Compiler

Compiled 140 to 118 computations (15.7% saved)

simplify81.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

550×	`div-sub_binary64`
304×	`fma-def_binary64`
292×	`distribute-rgt-neg-in_binary64`
275×	`associate-l_binary64`
261×	`distribute-lft-neg-in_binary64`

Counts

52 → 22

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	97	764
1	238	760
2	716	733
3	2298	733
4	4187	733
5	5735	733

prune10.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	21	1	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	2	23

Error

Counts

23 → 2

Alt Table

Status	Error	Program
▶	0.3b	(fma.f64 (pow.f64 eps 3) -2/3 (*.f64 -2 eps))
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

Compiler

Compiled 351 to 128 computations (63.5% saved)

localize5.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

2 → 2

Alt Table

Status	Error	Program
	0.3b	(fma.f64 (pow.f64 eps 3) -2/3 (*.f64 -2 eps))
	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

Compiler

Compiled 16 to 12 computations (25% saved)

regimes30.0ms (0.9%)

Accuracy

Total 0.0b remaining (54.5%)

Threshold costs 0.0b (54.5%)

Compiler

Compiled 563 to 283 computations (49.7% saved)

simplify3.0ms (0.1%)

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

end0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

sample2.8s (78.4%)

Algorithm

1×

intervals

Results

1.6s	3984×	body	1024	valid
447.0ms	1999×	body	512	valid
260.0ms	456×	body	2048	valid
125.0ms	979×	body	256	valid
36.0ms	582×	body	128	valid

Compiler

Compiled 34 to 26 computations (23.5% saved)

Details

analyze239.0ms (6.8%)

sample81.0ms (2.3%)

simplify228.0ms (6.5%)

prune3.0ms (0.1%)

localize4.0ms (0.1%)

rewrite50.0ms (1.4%)

series13.0ms (0.4%)

simplify81.0ms (2.3%)

prune10.0ms (0.3%)

localize5.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify10.0ms (0.3%)

prune1.0ms (0%)

regimes30.0ms (0.9%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.8s (78.4%)

Profiling