Details

analyze505.0ms (10.6%)

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 14 to 12 computations (14.3% saved)

sample90.0ms (1.9%)

Algorithm

1×

intervals

Results

53.0ms	126×	body	1024	valid
14.0ms	59×	body	512	valid
8.0ms	12×	body	2048	valid
5.0ms	34×	body	256	valid
2.0ms	25×	body	128	valid

Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify484.0ms (10.2%)

Algorithm

1×	egg-herbie

Rules

7982×	`fma-neg_binary64`
642×	`unsub-neg_binary64`
573×	`distribute-neg-in_binary64`
572×	`distribute-rgt-in_binary64`
535×	`distribute-rgt-out--_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	20	13
2	28	13
3	43	13
4	67	13
5	95	13
6	136	13
7	234	13
8	429	13
9	636	13
10	827	13
11	918	13
12	1093	13
13	1183	13
14	1272	13
15	1630	13
16	2135	13
17	2217	13
18	2418	13
19	2438	13
20	2558	13
21	2558	13
22	2954	13
23	3004	13
24	3130	13
25	3162	13
26	3210	13
27	3230	13
28	3238	13
29	3238	13
30	3238	13
31	3574	13
32	3558	13
33	3856	13
34	4014	13
35	4100	13
36	4126	13
37	4142	13
38	4154	13
39	4190	13
40	4202	13
41	4206	13
42	4206	13
43	11004	13

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 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))

Compiler

Compiled 27 to 21 computations (22.2% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite34.0ms (0.7%)

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:

15.0ms

(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

Compiler

Compiled 1145 to 223 computations (80.5% saved)

series13.0ms (0.3%)

Error

Counts

1 → 6

Calls

1 calls:

9.0ms

(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

Compiler

Compiled 161 to 139 computations (13.7% saved)

simplify99.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

679×	`fma-neg_binary64`
528×	`cancel-sign-sub-inv_binary64`
302×	`fma-def_binary64`
259×	`associate-l_binary64`
229×	`distribute-rgt-neg-in_binary64`

Counts

52 → 22

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	92	754
1	221	746
2	628	737
3	1945	737
4	3843	737
5	4986	737
6	4738	737

prune11.0ms (0.2%)

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.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
▶	0.3b	(.f64 1/2 (fma.f64 2 x (.f64 2/3 (pow.f64 x 3))))

Compiler

Compiled 397 to 174 computations (56.2% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.1b	(*.f64 2/3 (pow.f64 x 3))

rewrite37.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

8×	`add-sqr-sqrt_binary64`
5×	`pow1_binary64`
5×	`add-cbrt-cube_binary64`
5×	`add-cube-cbrt_binary64`
4×	`add-exp-log_binary64`

Counts

1 → 35

Calls

1 calls:

15.0ms

(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 456 to 380 computations (16.7% saved)

series7.0ms (0.2%)

Error

Counts

1 → 3

Calls

1 calls:

6.0ms

(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 77 to 63 computations (18.2% saved)

simplify92.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

808×	`fma-def_binary64`
625×	`prod-exp_binary64`
474×	`associate-l_binary64`
416×	`exp-prod_binary64`
404×	`associate-r_binary64`

Counts

38 → 14

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	50	280
1	101	261
2	308	257
3	1430	257
4	2825	251
5	4384	251
6	4758	251
7	5531	251

prune8.0ms (0.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

16 → 2

Alt Table

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

Compiler

Compiled 165 to 136 computations (17.6% saved)

regimes39.0ms (0.8%)

Accuracy

Total 0.0b remaining (54.5%)

Threshold costs 0.0b (54.5%)

Compiler

Compiled 692 to 466 computations (32.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
3×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	15	13
2	20	13
3	23	13
4	24	13
5	24	13

end0.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

sample3.3s (69.7%)

Algorithm

1×

intervals

Results

2.1s	3984×	body	1024	valid
505.0ms	2004×	body	512	valid
276.0ms	455×	body	2048	valid
138.0ms	973×	body	256	valid
40.0ms	584×	body	128	valid

Compiler

Compiled 44 to 36 computations (18.2% saved)

Details

analyze505.0ms (10.6%)

sample90.0ms (1.9%)

simplify484.0ms (10.2%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

rewrite34.0ms (0.7%)

series13.0ms (0.3%)

simplify99.0ms (2.1%)

prune11.0ms (0.2%)

localize6.0ms (0.1%)

rewrite37.0ms (0.8%)

series7.0ms (0.2%)

simplify92.0ms (1.9%)

prune8.0ms (0.2%)

regimes39.0ms (0.8%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample3.3s (69.7%)

Profiling