Details

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

sample7.7s (85.9%)

Results

4.4s	4140×	body	1024	valid
1.4s	2039×	body	512	valid
774.0ms	424×	body	2048	valid
432.0ms	1041×	body	256	valid
131.0ms	612×	body	128	valid

Compiler

Compiled 41 to 35 computations (14.6% saved)

simplify469.0ms (5.3%)

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

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

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

Compiler

Compiled 39 to 31 computations (20.5% saved)

localize11.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

6.0ms

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

rewrite121.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

874×	`log1p-udef_binary64`
484×	`expm1-log1p-u_binary64`
482×	`log1p-expm1-u_binary64`
391×	`prod-diff_binary64`
300×	`unpow-prod-down_binary64`

Counts

1 → 94

Calls

1 calls:

117.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	130	8
2	1224	8
3	4990	8
4	6467	8
0	0	0
1	0	0

simplify116.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

805×	`fma-def_binary64`
633×	`fma-neg_binary64`
534×	`associate-/r*_binary64`
503×	`associate-/l/_binary64`
369×	`times-frac_binary64`

Counts

106 → 116

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	174
1	108	174
2	245	174
3	519	174
4	897	174
5	1928	174
6	4647	174
7	5088	174

prune89.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	115	2	117

Error

0.0b

Counts

117 → 2

Alt Table

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

Compiler

Compiled 1969 to 965 computations (51% saved)

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))
✓	0.1b	(*.f64 2/3 (pow.f64 x 3))

series11.0ms (0.1%)

Counts

2 → 12

Calls

2 calls:

6.0ms	(fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))
5.0ms	(*.f64 2/3 (pow.f64 x 3))

rewrite84.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

630×	`log1p-expm1-u_binary64`
630×	`expm1-log1p-u_binary64`
302×	`log-prod_binary64`
131×	`expm1-udef_binary64`
131×	`log1p-udef_binary64`

Counts

2 → 45

Calls

2 calls:

82.0ms	(fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))
82.0ms	(*.f64 2/3 (pow.f64 x 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	166	18
2	1651	18
3	5004	18
0	0	0
1	0	0

simplify171.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1032×	`sqr-pow_binary64`
529×	`cube-prod_binary64`
522×	`pow-sqr_binary64`
481×	`fabs-mul_binary64`
452×	`associate-l_binary64`

Counts

57 → 50

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	117
1	21	117
2	40	117
3	69	117
4	117	117
5	245	117
6	678	117
7	995	117
8	999	117
9	1129	117
10	1283	117
11	1437	117
12	1666	117
13	1967	117
14	2315	117
15	2790	117
16	3408	117
17	3604	117
18	3778	117
19	3892	117
20	3939	117
21	3991	117
22	4869	117
23	4772	117

prune66.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

52 → 2

Alt Table

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

Compiler

Compiled 769 to 644 computations (16.3% saved)

regimes25.0ms (0.3%)

Accuracy

Total 0.0b remaining (56.9%)

Threshold costs 0.0b (56.9%)

Counts

5 → 1

Compiler

Compiled 268 to 218 computations (18.7% saved)

simplify3.0ms (0%)

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

end45.0ms (0.5%)

Compiler: Compiled 38 to 30 computations (21.1% saved)

Details

analyze12.0ms (0.1%)

sample7.7s (85.9%)

simplify469.0ms (5.3%)

prune6.0ms (0.1%)

localize11.0ms (0.1%)

series6.0ms (0.1%)

rewrite121.0ms (1.4%)

simplify116.0ms (1.3%)

prune89.0ms (1%)

localize14.0ms (0.2%)

series11.0ms (0.1%)

rewrite84.0ms (0.9%)

simplify171.0ms (1.9%)

prune66.0ms (0.7%)

regimes25.0ms (0.3%)

simplify3.0ms (0%)

end45.0ms (0.5%)

Profiling