Details

analyze246.0ms (6.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)

sample85.0ms (2.1%)

Algorithm

1×

intervals

Results

48.0ms	135×	body	1024	valid
13.0ms	56×	body	512	valid
10.0ms	18×	body	2048	valid
4.0ms	32×	body	256	valid
1.0ms	15×	body	128	valid

Compiler

Compiled 20 to 16 computations (20% saved)

simplify236.0ms (5.9%)

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

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.0b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
	58.7b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 39 to 29 computations (25.6% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite24.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
6×	`add-log-exp_binary64`

Counts

2 → 44

Calls

2 calls:

3.0ms	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
0.0ms	(log1p.f64 eps)

Compiler

Compiled 703 to 158 computations (77.5% saved)

series22.0ms (0.5%)

Error

0.0b

Counts

2 → 13

Calls

2 calls:

8.0ms	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
6.0ms	(log1p.f64 eps)

Compiler

Compiled 362 to 279 computations (22.9% saved)

simplify82.0ms (2%)

Algorithm

1×	egg-herbie

Rules

673×	`fma-neg_binary64`
503×	`cancel-sign-sub-inv_binary64`
372×	`distribute-rgt-in_binary64`
335×	`fma-def_binary64`
312×	`associate-l_binary64`

Counts

57 → 35

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	119	924
1	254	653
2	708	596
3	2351	590
4	4457	586
5	4936	586

prune12.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

37 → 3

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
	58.7b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
▶	0.9b	(.f64 1 (fma.f64 (.f64 (cbrt.f64 (log1p.f64 (neg.f64 eps))) (cbrt.f64 (log1p.f64 (neg.f64 eps)))) (cbrt.f64 (log1p.f64 (neg.f64 eps))) (neg.f64 (log1p.f64 eps))))

Compiler

Compiled 341 to 167 computations (51% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (log1p.f64 (neg.f64 eps))) (cbrt.f64 (log1p.f64 (neg.f64 eps))))
0.7b	(cbrt.f64 (log1p.f64 (neg.f64 eps)))
0.7b	(cbrt.f64 (log1p.f64 (neg.f64 eps)))
0.7b	(cbrt.f64 (log1p.f64 (neg.f64 eps)))

rewrite45.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`

Counts

4 → 81

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (log1p.f64 (neg.f64 eps))) (cbrt.f64 (log1p.f64 (neg.f64 eps))))
1.0ms	(cbrt.f64 (log1p.f64 (neg.f64 eps)))
1.0ms	(cbrt.f64 (log1p.f64 (neg.f64 eps)))
1.0ms	(cbrt.f64 (log1p.f64 (neg.f64 eps)))

Compiler

Compiled 1906 to 395 computations (79.3% saved)

series43.0ms (1.1%)

Error

Counts

4 → 15

Calls

4 calls:

12.0ms	(*.f64 (cbrt.f64 (log1p.f64 (neg.f64 eps))) (cbrt.f64 (log1p.f64 (neg.f64 eps))))
9.0ms	(cbrt.f64 (log1p.f64 (neg.f64 eps)))
7.0ms	(cbrt.f64 (log1p.f64 (neg.f64 eps)))
7.0ms	(cbrt.f64 (log1p.f64 (neg.f64 eps)))

Compiler

Compiled 1199 to 854 computations (28.8% saved)

simplify139.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

576×	`fma-neg_binary64`
545×	`unswap-sqr_binary64`
416×	`fma-def_binary64`
300×	`*-commutative_binary64`
217×	`unsub-neg_binary64`

Counts

96 → 71

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	88	1341
1	193	1325
2	396	1226
3	910	1189
4	1740	967
5	3580	967
6	4529	963
7	4862	943
8	4799	943

prune22.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	71	3	74

Error

Counts

74 → 3

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	58.7b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
✓	0.9b	(.f64 1 (fma.f64 (.f64 (cbrt.f64 (log1p.f64 (neg.f64 eps))) (cbrt.f64 (log1p.f64 (neg.f64 eps)))) (cbrt.f64 (log1p.f64 (neg.f64 eps))) (neg.f64 (log1p.f64 eps))))

Compiler

Compiled 965 to 296 computations (69.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
5.1b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

rewrite51.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

78×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
48×	`times-frac_binary64`
30×	`log-prod_binary64`
25×	`add-cube-cbrt_binary64`

Counts

2 → 96

Calls

2 calls:

7.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
7.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 1291 to 1001 computations (22.5% saved)

series18.0ms (0.5%)

Error

Counts

2 → 14

Calls

2 calls:

6.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
5.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Compiler

Compiled 279 to 238 computations (14.7% saved)

simplify118.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

684×	`fma-neg_binary64`
497×	`cancel-sign-sub-inv_binary64`
468×	`div-sub_binary64`
278×	`fma-def_binary64`
228×	`sub-neg_binary64`

Counts

110 → 98

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	153	2056
1	363	1928
2	908	1865
3	2462	1861
4	4213	1861
5	5185	1861

prune38.0ms (0.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	98	3	101

Error

Counts

101 → 3

Alt Table

Status	Error	Program
	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
	58.7b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	0.9b	(.f64 1 (fma.f64 (.f64 (cbrt.f64 (log1p.f64 (neg.f64 eps))) (cbrt.f64 (log1p.f64 (neg.f64 eps)))) (cbrt.f64 (log1p.f64 (neg.f64 eps))) (neg.f64 (log1p.f64 eps))))

Compiler

Compiled 1040 to 723 computations (30.5% saved)

regimes75.0ms (1.9%)

Accuracy

Total 0.0b remaining (33.3%)

Threshold costs 0.0b (33.3%)

Compiler

Compiled 1595 to 1006 computations (36.9% 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.7s (68.1%)

Algorithm

1×

intervals

Results

1.6s	4090×	body	1024	valid
476.0ms	1995×	body	512	valid
234.0ms	412×	body	2048	valid
129.0ms	966×	body	256	valid
33.0ms	537×	body	128	valid

Compiler

Compiled 54 to 36 computations (33.3% saved)

Details

analyze246.0ms (6.1%)

sample85.0ms (2.1%)

simplify236.0ms (5.9%)

prune3.0ms (0.1%)

localize4.0ms (0.1%)

rewrite24.0ms (0.6%)

series22.0ms (0.5%)

simplify82.0ms (2%)

prune12.0ms (0.3%)

localize9.0ms (0.2%)

rewrite45.0ms (1.1%)

series43.0ms (1.1%)

simplify139.0ms (3.5%)

prune22.0ms (0.5%)

localize5.0ms (0.1%)

rewrite51.0ms (1.3%)

series18.0ms (0.5%)

simplify118.0ms (2.9%)

prune38.0ms (0.9%)

regimes75.0ms (1.9%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.7s (68.1%)

Profiling