Details

sample23.0ms

Algorithm

intervals

Results

8.0ms

339×

body

valid

simplify1.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	15	7
2	21	7
3	28	7
4	32	7
5	38	7
6	44	7
7	62	7
8	68	7
9	86	7
10	92	7
11	110	7
12	116	7
13	134	7
14	140	7
15	158	7
16	164	7
17	182	7
18	188	7
19	206	7
20	212	7
21	230	7
22	236	7
23	254	7
24	260	7
25	278	7
26	284	7
27	302	7
28	308	7
29	326	7
30	332	7
31	350	7
32	356	7
33	374	7
34	380	7
35	398	7
36	404	7
37	422	7
38	428	7
39	446	7
40	452	7
41	470	7
42	476	7
43	494	7
44	500	7
45	518	7
46	524	7
47	542	7
48	548	7
49	566	7
50	572	7
51	590	7
52	596	7
53	614	7
54	620	7
55	638	7
56	644	7
57	662	7
58	668	7
59	686	7
60	692	7
61	710	7
62	716	7
63	734	7
64	740	7
65	758	7
66	764	7
67	782	7
68	788	7
69	806	7
70	812	7
71	830	7
72	836	7
73	854	7
74	860	7
75	878	7
76	884	7
77	902	7
78	908	7
79	926	7
80	932	7
81	950	7
82	956	7
83	974	7
84	980	7
85	998	7
86	1004	7
87	1022	7
88	1028	7
89	1046	7
90	1052	7
91	1070	7
92	1076	7
93	1094	7
94	1100	7
95	1118	7
96	1124	7
97	1142	7
98	1148	7
99	1166	7
100	1172	7
101	1190	7
102	1196	7
103	1214	7
104	1220	7
105	1238	7
106	1244	7
107	1262	7
108	1268	7
109	1286	7
110	1292	7
111	1310	7
112	1316	7
113	1334	7
114	1340	7
115	1358	7
116	1364	7
117	1382	7
118	1388	7
119	1406	7
120	1412	7
121	1430	7
122	1436	7
123	1454	7
124	1460	7
125	1478	7
126	1484	7
127	1502	7
128	1508	7
129	1526	7
130	1532	7
131	1550	7
132	1556	7
133	1574	7
134	1580	7
135	1598	7
136	1604	7
137	1622	7
138	1628	7
139	1646	7
140	1652	7
141	1670	7
142	1676	7
143	1694	7
144	1700	7
145	1718	7
146	1724	7
147	1742	7
148	1748	7
149	1766	7
150	1772	7
151	1790	7
152	1796	7
153	1814	7
154	1820	7
155	1838	7
156	1844	7
157	1862	7
158	1868	7
159	1886	7
160	1892	7
161	1910	7
162	1916	7
163	1934	7
164	1940	7
165	1958	7
166	1964	7
167	1982	7
168	1988	7
169	2006	7
170	2012	7
171	2030	7
172	2036	7
173	2054	7
174	2060	7
175	2078	7
176	2084	7
177	2102	7
178	2108	7
179	2126	7
180	2132	7
181	2150	7
182	2156	7
183	2174	7
184	2180	7
185	2198	7
186	2204	7
187	2222	7
188	2228	7
189	2246	7
190	2252	7
191	2270	7
192	2276	7
193	2294	7
194	2300	7
195	2318	7
196	2324	7
197	2342	7
198	2348	7
199	2366	7
200	2372	7
201	2390	7
202	2396	7
203	2414	7
204	2420	7
205	2438	7
206	2444	7
207	2462	7
208	2468	7
209	2486	7
210	2492	7
211	2510	7
212	2516	7
213	2534	7
214	2540	7
215	2558	7
216	2564	7
217	2582	7
218	2588	7
219	2606	7
220	2612	7
221	2630	7
222	2636	7
223	2654	7
224	2660	7
225	2678	7
226	2684	7
227	2702	7
228	2708	7
229	2726	7
230	2732	7
231	2750	7
232	2756	7
233	2774	7
234	2780	7
235	2798	7
236	2804	7
237	2822	7
238	2828	7
239	2846	7
240	2852	7
241	2870	7
242	2876	7
243	2894	7
244	2900	7
245	2918	7
246	2924	7
247	2942	7
248	2948	7
249	2966	7
250	2972	7
251	2990	7
252	2996	7
253	3014	7
254	3020	7
255	3038	7
256	3044	7
257	3062	7
258	3068	7
259	3086	7
260	3092	7
261	3110	7
262	3116	7
263	3134	7
264	3140	7
265	3158	7
266	3164	7
267	3182	7
268	3188	7
269	3206	7
270	3212	7
271	3230	7
272	3236	7
273	3254	7
274	3260	7
275	3278	7
276	3284	7
277	3302	7
278	3308	7
279	3326	7
280	3332	7
281	3350	7
282	3356	7
283	3374	7
284	3380	7
285	3398	7
286	3404	7
287	3422	7
288	3428	7
289	3446	7
290	3452	7
291	3470	7
292	3476	7
293	3494	7
294	3500	7
295	3518	7
296	3524	7
297	3542	7
298	3548	7
299	3566	7
300	3572	7
301	3590	7
302	3596	7
303	3614	7
304	3620	7
305	3638	7
306	3644	7
307	3662	7
308	3668	7
309	3686	7
310	3692	7
311	3710	7
312	3716	7
313	3734	7
314	3740	7
315	3758	7
316	3764	7
317	3782	7
318	3788	7
319	3806	7
320	3812	7
321	3830	7
322	3836	7
323	3854	7
324	3860	7
325	3878	7
326	3884	7
327	3902	7
328	3908	7
329	3926	7
330	3932	7
331	3950	7
332	3956	7
333	3974	7
334	3980	7
335	3998	7
336	4004	7
337	4022	7
338	4028	7
339	4046	7
340	4052	7
341	4070	7
342	4076	7
343	4094	7
344	4100	7
345	4118	7
346	4124	7
347	4142	7
348	4148	7
349	4166	7
350	4172	7
351	4190	7
352	4196	7
353	4214	7
354	4220	7
355	4238	7
356	4244	7
357	4262	7
358	4268	7
359	4286	7
360	4292	7
361	4310	7
362	4316	7
363	4334	7
364	4340	7
365	4358	7
366	4364	7
367	4382	7
368	4388	7
369	4406	7
370	4412	7
371	4430	7
372	4436	7
373	4454	7
374	4460	7
375	4478	7
376	4484	7
377	4502	7
378	4508	7
379	4526	7
380	4532	7
381	4550	7
382	4556	7
383	4574	7
384	4580	7
385	4598	7
386	4604	7
387	4622	7
388	4628	7
389	4646	7
390	4652	7
391	4670	7
392	4676	7
393	4694	7
394	4700	7
395	4718	7
396	4724	7
397	4742	7
398	4748	7
399	4766	7
400	4772	7
401	4790	7
402	4796	7
403	4814	7
404	4820	7
405	4838	7
406	4844	7
407	4862	7
408	4868	7
409	4886	7
410	4892	7
411	4910	7
412	4916	7
413	4934	7
414	4940	7
415	4958	7
416	4964	7
417	4982	7
418	4988	7
done	5000	7

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

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-r` `add-cbrt-cube` `add-log-exp`
3×	`associate-l`
2×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `flip3-+` `associate-*r/` `flip-+`
1×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

2 → 36

Calls

2 calls:

3.0ms	(+ x (* y (+ z x)))
7.0ms	(* y (+ z x))

series17.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ x (* y (+ z x)))
10.0ms	(* y (+ z x))

simplify983.0ms

Counts

42 → 42

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	68	376
1	197	342
2	623	318
3	2125	318
done	5000	318

prune55.0ms

Filtered

28 candidates to 42 candidates (-50.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	38	4	42
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	4	43

Merged error: 0b

Counts

43 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`*-un-lft-identity` `sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+r+` `distribute-lft-out`

Counts

2 → 25

Calls

2 calls:

6.0ms	(+ x (+ (* y z) (* x y)))
4.0ms	(+ (* y z) (* x y))

series15.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ x (+ (* y z) (* x y)))
7.0ms	(+ (* y z) (* x y))

simplify781.0ms

Counts

31 → 31

Iterations

Useful iterations: 3 (207.0ms)

Iter	Nodes	Cost
0	53	400
1	174	300
2	581	280
3	2197	278
done	5000	278

prune37.0ms

Filtered

23 candidates to 31 candidates (-34.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	31	0	31
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	31	4	35

Merged error: 0b

Counts

35 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series102.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt y) (cbrt y))
23.0ms	(cbrt y)
24.0ms	(cbrt y)
27.0ms	(cbrt y)

simplify832.0ms

Counts

85 → 85

Iterations

Useful iterations: 4 (337.0ms)

Iter	Nodes	Cost
0	76	590
1	151	525
2	383	462
3	1207	382
4	3610	374
done	5001	374

prune87.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	85	4	89

Merged error: 0b

Counts

89 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ z x)) (cbrt (+ z x)))
0.5b	(cbrt (+ z x))
0.5b	(cbrt (+ z x))
0.5b	(cbrt (+ z x))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

11.0ms	(* (cbrt (+ z x)) (cbrt (+ z x)))
3.0ms	(cbrt (+ z x))
3.0ms	(cbrt (+ z x))
3.0ms	(cbrt (+ z x))

series148.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* (cbrt (+ z x)) (cbrt (+ z x)))
33.0ms	(cbrt (+ z x))
38.0ms	(cbrt (+ z x))
33.0ms	(cbrt (+ z x))

simplify568.0ms

Counts

107 → 107

Iterations

Useful iterations: 3 (212.0ms)

Iter	Nodes	Cost
0	136	1356
1	287	1243
2	790	1131
3	2359	1010
done	5001	1010

prune107.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	107	4	111

Merged error: 0b

Counts

111 → 4

regimes143.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	7	9
1	11	9
done	11	9

end0.0ms

sample648.0ms

Algorithm

intervals

Results

247.0ms

10203×

body

valid

Details

sample23.0ms

simplify1.8s

prune3.0ms

localize5.0ms

rewrite11.0ms

series17.0ms

simplify983.0ms

prune55.0ms

localize6.0ms

rewrite10.0ms

series15.0ms

simplify781.0ms

prune37.0ms

localize9.0ms

rewrite12.0ms

series102.0ms

simplify832.0ms

prune87.0ms

localize9.0ms

rewrite24.0ms

series148.0ms

simplify568.0ms

prune107.0ms

regimes143.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample648.0ms

Profiling