Details

sample18.0ms

Algorithm

intervals

Results

7.0ms

306×

body

valid

simplify932.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	10	7
2	19	7
3	26	7
4	34	7
5	46	7
6	70	7
7	94	7
8	118	7
9	142	7
10	166	7
11	190	7
12	214	7
13	238	7
14	262	7
15	286	7
16	310	7
17	334	7
18	358	7
19	382	7
20	406	7
21	430	7
22	454	7
23	478	7
24	502	7
25	526	7
26	550	7
27	574	7
28	598	7
29	622	7
30	646	7
31	670	7
32	694	7
33	718	7
34	742	7
35	766	7
36	790	7
37	814	7
38	838	7
39	862	7
40	886	7
41	910	7
42	934	7
43	958	7
44	982	7
45	1006	7
46	1030	7
47	1054	7
48	1078	7
49	1102	7
50	1126	7
51	1150	7
52	1174	7
53	1198	7
54	1222	7
55	1246	7
56	1270	7
57	1294	7
58	1318	7
59	1342	7
60	1366	7
61	1390	7
62	1414	7
63	1438	7
64	1462	7
65	1486	7
66	1510	7
67	1534	7
68	1558	7
69	1582	7
70	1606	7
71	1630	7
72	1654	7
73	1678	7
74	1702	7
75	1726	7
76	1750	7
77	1774	7
78	1798	7
79	1822	7
80	1846	7
81	1870	7
82	1894	7
83	1918	7
84	1942	7
85	1966	7
86	1990	7
87	2014	7
88	2038	7
89	2062	7
90	2086	7
91	2110	7
92	2134	7
93	2158	7
94	2182	7
95	2206	7
96	2230	7
97	2254	7
98	2278	7
99	2302	7
100	2326	7
101	2350	7
102	2374	7
103	2398	7
104	2422	7
105	2446	7
106	2470	7
107	2494	7
108	2518	7
109	2542	7
110	2566	7
111	2590	7
112	2614	7
113	2638	7
114	2662	7
115	2686	7
116	2710	7
117	2734	7
118	2758	7
119	2782	7
120	2806	7
121	2830	7
122	2854	7
123	2878	7
124	2902	7
125	2926	7
126	2950	7
127	2974	7
128	2998	7
129	3022	7
130	3046	7
131	3070	7
132	3094	7
133	3118	7
134	3142	7
135	3166	7
136	3190	7
137	3214	7
138	3238	7
139	3262	7
140	3286	7
141	3310	7
142	3334	7
143	3358	7
144	3382	7
145	3406	7
146	3430	7
147	3454	7
148	3478	7
149	3502	7
150	3526	7
151	3550	7
152	3574	7
153	3598	7
154	3622	7
155	3646	7
156	3670	7
157	3694	7
158	3718	7
159	3742	7
160	3766	7
161	3790	7
162	3814	7
163	3838	7
164	3862	7
165	3886	7
166	3910	7
167	3934	7
168	3958	7
169	3982	7
170	4006	7
171	4030	7
172	4054	7
173	4078	7
174	4102	7
175	4126	7
176	4150	7
177	4174	7
178	4198	7
179	4222	7
180	4246	7
181	4270	7
182	4294	7
183	4318	7
184	4342	7
185	4366	7
186	4390	7
187	4414	7
188	4438	7
189	4462	7
190	4486	7
191	4510	7
192	4534	7
193	4558	7
194	4582	7
195	4606	7
196	4630	7
197	4654	7
198	4678	7
199	4702	7
200	4726	7
201	4750	7
202	4774	7
203	4798	7
204	4822	7
205	4846	7
206	4870	7
207	4894	7
208	4918	7
209	4942	7
210	4966	7
211	4990	7
done	5000	7

prune2.0ms

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

Merged error: 0.0b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (+ (* x y) x) y)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp`
3×	`*-un-lft-identity` `sum-log`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 14

Calls

1 calls:

7.0ms

(+ (+ (* x y) x) y)

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(+ (+ (* x y) x) y)

simplify489.0ms

Counts

17 → 17

Iterations

Useful iterations: 3 (104.0ms)

Iter	Nodes	Cost
0	35	186
1	98	181
2	307	167
3	1196	163
done	5000	163

prune20.0ms

Filtered

13 candidates to 17 candidates (-30.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	16	1	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	2	18

Merged error: 0b

Counts

18 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ (* x y) x) y)
2.9b	(exp (log (+ (+ (* x y) x) y)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

8×	`*-un-lft-identity`
7×	`add-log-exp`
4×	`add-sqr-sqrt` `add-cube-cbrt` `log-prod` `exp-prod` `exp-sum`
3×	`pow1` `sum-log`
2×	`add-exp-log` `log-div` `flip3-+` `exp-diff` `add-cbrt-cube` `flip-+` `distribute-lft-out`
1×	`+-commutative` `associate-+l+` `log-pow` `rem-exp-log`

Counts

2 → 32

Calls

2 calls:

7.0ms	(+ (+ (* x y) x) y)
7.0ms	(exp (log (+ (+ (* x y) x) y)))

series9.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(+ (+ (* x y) x) y)
5.0ms	(exp (log (+ (+ (* x y) x) y)))

simplify501.0ms

Counts

38 → 38

Iterations

Useful iterations: 3 (119.0ms)

Iter	Nodes	Cost
0	66	478
1	138	425
2	358	382
3	1260	374
done	5000	374

prune37.0ms

Filtered

26 candidates to 38 candidates (-46.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	38	2	40

Merged error: 0b

Counts

40 → 2

regimes107.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	8	7
done	8	7

end0.0ms

sample477.0ms

Algorithm

intervals

Results

212.0ms	9171×	body	80	valid
0.0ms	1×	body	1280	valid

Details

sample18.0ms

simplify932.0ms

prune2.0ms

localize4.0ms

rewrite7.0ms

series4.0ms

simplify489.0ms

prune20.0ms

localize7.0ms

rewrite15.0ms

series9.0ms

simplify501.0ms

prune37.0ms

regimes107.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample477.0ms

Profiling