Details

analyze525.0ms (12.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	49.9%	0%	12
99.6%	0.3%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 31 to 27 computations (12.9% saved)

sample1.2s (28.3%)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 62 to 54 computations (12.9% saved)

preprocess11.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	15	43
0	1	1

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 30 to 26 computations (13.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	15	43

Stop Event

1×

saturated

Counts

1 → 1

prune5.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 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 1 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))

Compiler

Compiled 90 to 78 computations (13.3% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
✓	0.0b	(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
✓	0.0b	(-.f64 1 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))
✓	3.2b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

series10.0ms (0.2%)

Counts

4 → 48

Calls

12 calls:

1.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))	t	0
1.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))	t	0
1.0ms	(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))	t	0
1.0ms	(-.f64 1 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))	t	0
1.0ms	(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))	t	-inf

rewrite48.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

330×	`log-prod_binary64`
243×	`expm1-udef_binary64`
243×	`log1p-udef_binary64`
242×	`log-pow_binary64`
239×	`pow1/3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	88
1	262	88
2	2823	88

Stop Event

1×	node limit

Counts

4 → 79

simplify357.0ms (8.4%)

Algorithm

1×	egg-herbie

Rules

1659×	`sqr-pow_binary64`
786×	`pow-sqr_binary64`
56×	`cube-prod_binary64`
56×	`cube-mult_binary64`
56×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	716
1	115	716
2	135	716
3	154	716
4	179	716
5	205	716
6	233	716
7	263	716
8	297	716
9	332	716
10	371	716
11	411	716
12	455	716
13	500	716
14	549	716
15	599	716
16	653	716
17	708	716
18	767	716
19	827	716
20	891	716
21	956	716
22	1025	716
23	1095	716
24	1169	716
25	1244	716
26	1323	716
27	1403	716
28	1487	716
29	1572	716
30	1661	716
31	1751	716
32	1845	716
33	1940	716
34	2039	716
35	2139	716
36	2243	716
37	2348	716
38	2352	716
39	2354	716
40	2354	716
41	2462	716
42	2570	716
43	2684	716
44	2799	716
45	2918	716
46	3038	716
47	3162	716
48	3287	716
49	3416	716
50	3546	716
51	3680	716
52	3815	716
53	3954	716
54	4094	716
55	4238	716
56	4242	716
57	4244	716
58	4244	716
59	4388	716
60	4535	716
61	4685	716
62	4839	716
63	4994	716

Stop Event

1×	node limit

Counts

127 → 132

prune175.0ms (4.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	166	2	168

Error

Counts

168 → 2

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 1 (/.f64 1 (+.f64 2 (log.f64 (exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))))
	0.5b	(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)

Status

Error

Program

▶

0.0b

(-.f64 1 (/.f64 1 (+.f64 2 (log.f64 (exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))))

0.5b

(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)

Compiler

Compiled 4708 to 4097 computations (13% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2)
✓	0.0b	(exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))
✓	1.8b	(log.f64 (exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2)))
	3.2b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

series7.0ms (0.2%)

Counts

3 → 36

Calls

9 calls:

1.0ms	(log.f64 (exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2)))	t	0
1.0ms	(exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))	t	-inf
1.0ms	(pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2)	t	0
1.0ms	(exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))	t	inf
1.0ms	(exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))	t	0

rewrite40.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

838×	`log1p-expm1-u_binary64`
838×	`expm1-log1p-u_binary64`
107×	`add-sqr-sqrt_binary64`
101×	`add-cbrt-cube_binary64`
99×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	59
1	218	59
2	2189	59

Stop Event

1×	node limit

Counts

3 → 47

simplify326.0ms (7.7%)

Algorithm

1×	egg-herbie

Rules

1717×	`sqr-pow_binary64`
786×	`pow-sqr_binary64`
56×	`cube-prod_binary64`
56×	`cube-mult_binary64`
56×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	614
1	82	614
2	100	614
3	119	614
4	144	614
5	170	614
6	198	614
7	228	614
8	262	614
9	297	614
10	336	614
11	376	614
12	420	614
13	465	614
14	514	614
15	564	614
16	618	614
17	673	614
18	732	614
19	792	614
20	856	614
21	921	614
22	990	614
23	1060	614
24	1134	614
25	1209	614
26	1288	614
27	1368	614
28	1452	614
29	1537	614
30	1626	614
31	1716	614
32	1810	614
33	1905	614
34	2004	614
35	2104	614
36	2208	614
37	2313	614
38	2317	614
39	2319	614
40	2319	614
41	2427	614
42	2535	614
43	2649	614
44	2764	614
45	2883	614
46	3003	614
47	3127	614
48	3252	614
49	3381	614
50	3511	614
51	3645	614
52	3780	614
53	3919	614
54	4059	614
55	4203	614
56	4207	614
57	4209	614
58	4209	614
59	4353	614
60	4500	614
61	4650	614
62	4804	614
63	4959	614

Stop Event

1×	node limit

Counts

83 → 61

prune82.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	96	2	98

Error

Counts

98 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 1 (/.f64 1 (+.f64 2 (log.f64 (exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))))
▶	0.5b	(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)

Status

Error

Program

✓

0.0b

(-.f64 1 (/.f64 1 (+.f64 2 (log.f64 (exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))))

▶

0.5b

(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)

Compiler

Compiled 2450 to 2181 computations (11% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
	0.0b	(pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2)
✓	0.5b	(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)
	3.2b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

series9.0ms (0.2%)

Counts

2 → 24

Calls

6 calls:

3.0ms	(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)	t	inf
2.0ms	(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)	t	-inf
2.0ms	(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)	t	0
1.0ms	(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))	t	inf
1.0ms	(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))	t	-inf

rewrite40.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

352×	`log-prod_binary64`
261×	`log-pow_binary64`
256×	`expm1-udef_binary64`
256×	`log1p-udef_binary64`
146×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	41
1	306	41
2	3071	41

Stop Event

1×	node limit

Counts

2 → 37

simplify291.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

1775×	`sqr-pow_binary64`
786×	`pow-sqr_binary64`
56×	`cube-prod_binary64`
56×	`cube-mult_binary64`
56×	`unpow3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	465
1	80	405
2	108	405
3	129	405
4	155	405
5	180	405
6	208	405
7	237	405
8	270	405
9	304	405
10	342	405
11	381	405
12	424	405
13	468	405
14	516	405
15	565	405
16	618	405
17	672	405
18	730	405
19	789	405
20	852	405
21	916	405
22	984	405
23	1053	405
24	1126	405
25	1200	405
26	1278	405
27	1357	405
28	1440	405
29	1524	405
30	1612	405
31	1701	405
32	1794	405
33	1888	405
34	1986	405
35	2085	405
36	2188	405
37	2192	405
38	2194	405
39	2194	405
40	2297	405
41	2403	405
42	2512	405
43	2625	405
44	2739	405
45	2857	405
46	2976	405
47	3099	405
48	3223	405
49	3351	405
50	3480	405
51	3613	405
52	3747	405
53	3885	405
54	4024	405
55	4028	405
56	4030	405
57	4030	405
58	4172	405
59	4314	405
60	4462	405
61	4611	405
62	4764	405
63	4918	405

Stop Event

1×	node limit

Counts

61 → 66

prune82.0ms (1.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	103	2	105

Error

Counts

105 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 1 (/.f64 1 (+.f64 2 (log.f64 (exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))))
✓	0.5b	(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)

Status

Error

Program

✓

0.0b

(-.f64 1 (/.f64 1 (+.f64 2 (log.f64 (exp.f64 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))))

✓

0.5b

(pow.f64 (sqrt.f64 (-.f64 1 (/.f64 1 (+.f64 2 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 2))))) 2)

Compiler

Compiled 2731 to 2444 computations (10.5% saved)

regimes922.0ms (21.7%)

Accuracy

Total 0.0b remaining (5.5%)

Threshold costs 0.0b (5.5%)

Counts

117 → 1

Compiler

Compiled 16676 to 14815 computations (11.2% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	16	31

Stop Event

1×

saturated

end67.0ms (1.6%)

Stop Event

1×

done

Compiler

Compiled 89 to 81 computations (9% saved)

Details

analyze525.0ms (12.4%)

sample1.2s (28.3%)

preprocess11.0ms (0.3%)

simplify4.0ms (0.1%)

prune5.0ms (0.1%)

localize10.0ms (0.2%)

series10.0ms (0.2%)

rewrite48.0ms (1.1%)

simplify357.0ms (8.4%)

prune175.0ms (4.1%)

localize14.0ms (0.3%)

series7.0ms (0.2%)

rewrite40.0ms (0.9%)

simplify326.0ms (7.7%)

prune82.0ms (1.9%)

localize12.0ms (0.3%)

series9.0ms (0.2%)

rewrite40.0ms (0.9%)

simplify291.0ms (6.9%)

prune82.0ms (1.9%)

regimes922.0ms (21.7%)

simplify1.0ms (0%)

end67.0ms (1.6%)

Profiling