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 10 to 8 computations (20% saved)

sample312.0ms (8.3%)

Algorithm

1×

intervals

Results

53.0ms	141×	body	1024	valid
12.0ms	58×	body	512	valid
4.0ms	7×	body	2048	valid
3.0ms	25×	body	256	valid
1.0ms	25×	body	128	valid

Compiler

Compiled 20 to 16 computations (20% saved)

simplify217.0ms (5.8%)

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

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	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 29 to 21 computations (27.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series4.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

4.0ms

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

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
9×	`prod-diff_binary64`
9×	`add-cube-cbrt_binary64`
5×	`add-log-exp_binary64`

Counts

1 → 33

Calls

1 calls:

3.0ms

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

simplify67.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

954×	`fma-neg_binary64`
405×	`distribute-rgt-in_binary64`
378×	`cancel-sign-sub-inv_binary64`
338×	`fma-def_binary64`
286×	`associate-l_binary64`

Counts

45 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	113	904
1	263	641
2	755	588
3	2436	586
4	4287	586
5	4920	586

prune34.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	62	1	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	62	2	64

Error

Counts

64 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	0.1b	(neg.f64 (+.f64 (.f64 2/7 (pow.f64 eps 7)) (+.f64 (.f64 2 eps) (+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3))))))

Compiler

Compiled 1048 to 433 computations (58.7% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3)))
✓	0.1b	(*.f64 2/7 (pow.f64 eps 7))
✓	0.1b	(*.f64 2/5 (pow.f64 eps 5))
✓	0.2b	(*.f64 2/3 (pow.f64 eps 3))

series19.0ms (0.5%)

Counts

4 → 3

Calls

4 calls:

8.0ms	(*.f64 2/7 (pow.f64 eps 7))
5.0ms	(+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3)))
3.0ms	(*.f64 2/5 (pow.f64 eps 5))
3.0ms	(*.f64 2/3 (pow.f64 eps 3))

rewrite22.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
19×	`add-exp-log_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`

Counts

4 → 101

Calls

4 calls:

5.0ms	(*.f64 2/3 (pow.f64 eps 3))
4.0ms	(*.f64 2/5 (pow.f64 eps 5))
4.0ms	(*.f64 2/7 (pow.f64 eps 7))
4.0ms	(+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3)))

simplify100.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

591×	`fma-neg_binary64`
383×	`*-commutative_binary64`
246×	`fma-def_binary64`
231×	`distribute-rgt-neg-in_binary64`
217×	`distribute-lft-neg-in_binary64`

Counts

104 → 127

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	171	1233
1	358	1153
2	962	1127
3	2022	1127
4	4082	1090
5	4833	1090
6	4879	1090

prune125.0ms (3.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

129 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	0.1b	(neg.f64 (+.f64 (.f64 2/7 (pow.f64 eps 7)) (+.f64 (.f64 2 eps) (+.f64 (.f64 2/5 (pow.f64 eps 5)) (.f64 2/3 (pow.f64 eps 3))))))

Compiler

Compiled 3636 to 2984 computations (17.9% saved)

regimes37.0ms (1%)

Accuracy

Total 0.0b remaining (87.8%)

Threshold costs 0.0b (87.8%)

Counts

14 → 1

Compiler

Compiled 668 to 481 computations (28% saved)

simplify2.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 (74.2%)

Algorithm

1×

intervals

Results

1.6s	3978×	body	1024	valid
501.0ms	1989×	body	512	valid
229.0ms	425×	body	2048	valid
137.0ms	1002×	body	256	valid
43.0ms	606×	body	128	valid

Compiler

Compiled 48 to 38 computations (20.8% saved)

Details

analyze5.0ms (0.1%)

sample312.0ms (8.3%)

simplify217.0ms (5.8%)

prune3.0ms (0.1%)

localize4.0ms (0.1%)

series4.0ms (0.1%)

rewrite5.0ms (0.1%)

simplify67.0ms (1.8%)

prune34.0ms (0.9%)

localize13.0ms (0.3%)

series19.0ms (0.5%)

rewrite22.0ms (0.6%)

simplify100.0ms (2.7%)

prune125.0ms (3.3%)

regimes37.0ms (1%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample2.8s (74.2%)

Profiling