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

sample4.6s (76.6%)

Results

2.4s	4116×	body	1024	valid
929.0ms	2084×	body	512	valid
459.0ms	408×	body	2048	valid
254.0ms	1063×	body	256	valid
74.0ms	585×	body	128	valid

Compiler

Compiled 41 to 35 computations (14.6% saved)

simplify460.0ms (7.6%)

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

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

Compiler

Compiled 39 to 31 computations (20.5% saved)

localize5.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)))

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

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

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

simplify106.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

424×	`unsub-neg_binary64`
332×	`unswap-sqr_binary64`
325×	`times-frac_binary64`
317×	`sqr-pow_binary64`
315×	`distribute-rgt-in_binary64`

Counts

45 → 63

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	104	900
1	223	663
2	571	600
3	1725	600
4	3147	600
5	4384	600
6	4805	600
7	4516	600
8	4840	600

prune34.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

64 → 3

Alt Table

Status	Error	Program
▶	1.6b	(.f64 1/2 (.f64 (*.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))) (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))))
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
	32.6b	(.f64 1/2 (+.f64 (log1p.f64 x) (.f64 (neg.f64 (sqrt.f64 (log1p.f64 (neg.f64 x)))) (sqrt.f64 (log1p.f64 (neg.f64 x))))))

Compiler

Compiled 1242 to 560 computations (54.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))
✓	0.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))) (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))))
✓	0.5b	(*.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))))
✓	0.7b	(cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))

series25.0ms (0.4%)

Counts

3 → 36

Calls

3 calls:

11.0ms

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

10.0ms

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

4.0ms

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

rewrite49.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`cbrt-div_binary64`
39×	`cbrt-prod_binary64`
36×	`add-sqr-sqrt_binary64`
34×	`flip--_binary64`
34×	`flip3--_binary64`

Counts

3 → 141

Calls

3 calls:

14.0ms

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

10.0ms

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

4.0ms

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

simplify170.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

922×	`fma-def_binary64`
274×	`times-frac_binary64`
208×	`associate-l_binary64`
191×	`fma-neg_binary64`
186×	`cancel-sign-sub-inv_binary64`

Counts

177 → 244

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	299	6527
1	729	6148
2	2060	5614
3	4956	5614
4	4998	5614

prune226.0ms (3.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	519	0	519
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	519	3	522

Error

Counts

522 → 3

Alt Table

Status	Error	Program
✓	1.6b	(.f64 1/2 (.f64 (*.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))) (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))))
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
▶	32.6b	(.f64 1/2 (+.f64 (log1p.f64 x) (.f64 (neg.f64 (sqrt.f64 (log1p.f64 (neg.f64 x)))) (sqrt.f64 (log1p.f64 (neg.f64 x))))))

Compiler

Compiled 19470 to 6234 computations (68% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (log1p.f64 x) (*.f64 (neg.f64 (sqrt.f64 (log1p.f64 (neg.f64 x)))) (sqrt.f64 (log1p.f64 (neg.f64 x)))))
✓	0.3b	(*.f64 (neg.f64 (sqrt.f64 (log1p.f64 (neg.f64 x)))) (sqrt.f64 (log1p.f64 (neg.f64 x))))

series6.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

3.0ms	(+.f64 (log1p.f64 x) (*.f64 (neg.f64 (sqrt.f64 (log1p.f64 (neg.f64 x)))) (sqrt.f64 (log1p.f64 (neg.f64 x)))))
3.0ms	(*.f64 (neg.f64 (sqrt.f64 (log1p.f64 (neg.f64 x)))) (sqrt.f64 (log1p.f64 (neg.f64 x))))

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`associate-l_binary64`
14×	`add-sqr-sqrt_binary64`
10×	`sqrt-prod_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

2 → 56

Calls

2 calls:

6.0ms	(*.f64 (neg.f64 (sqrt.f64 (log1p.f64 (neg.f64 x)))) (sqrt.f64 (log1p.f64 (neg.f64 x))))
2.0ms	(+.f64 (log1p.f64 x) (*.f64 (neg.f64 (sqrt.f64 (log1p.f64 (neg.f64 x)))) (sqrt.f64 (log1p.f64 (neg.f64 x)))))

simplify83.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

653×	`fma-neg_binary64`
393×	`fma-def_binary64`
294×	`associate-l_binary64`
264×	`associate-r_binary64`
211×	`times-frac_binary64`

Counts

80 → 128

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	146	1201
1	388	1146
2	993	1138
3	2819	1136
4	4294	1136
5	4901	1136

prune68.0ms (1.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	128	3	131

Error

Counts

131 → 3

Alt Table

Status	Error	Program
✓	1.6b	(.f64 1/2 (.f64 (*.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))) (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))) (cbrt.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))))
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓	32.6b	(.f64 1/2 (+.f64 (log1p.f64 x) (.f64 (neg.f64 (sqrt.f64 (log1p.f64 (neg.f64 x)))) (sqrt.f64 (log1p.f64 (neg.f64 x))))))

Compiler

Compiled 2497 to 1021 computations (59.1% saved)

regimes90.0ms (1.5%)

Accuracy

Total 0.0b remaining (33.3%)

Threshold costs 0.0b (33.3%)

Counts

28 → 1

Compiler

Compiled 2212 to 1318 computations (40.4% saved)

simplify2.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

end50.0ms (0.8%)

Compiler: Compiled 69 to 41 computations (40.6% saved)

Details

analyze5.0ms (0.1%)

sample4.6s (76.6%)

simplify460.0ms (7.6%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite5.0ms (0.1%)

simplify106.0ms (1.7%)

prune34.0ms (0.6%)

localize9.0ms (0.1%)

series25.0ms (0.4%)

rewrite49.0ms (0.8%)

simplify170.0ms (2.8%)

prune226.0ms (3.7%)

localize8.0ms (0.1%)

series6.0ms (0.1%)

rewrite11.0ms (0.2%)

simplify83.0ms (1.4%)

prune68.0ms (1.1%)

regimes90.0ms (1.5%)

simplify2.0ms (0%)

end50.0ms (0.8%)

Profiling