Details

sample23.0ms

Algorithm

intervals

Results

8.0ms

296×

body

valid

simplify1.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	16	7
2	22	7
3	33	7
4	36	7
5	42	7
6	46	7
7	54	7
8	82	7
9	90	7
10	117	7
11	125	7
12	152	7
13	160	7
14	187	7
15	195	7
16	222	7
17	230	7
18	257	7
19	265	7
20	292	7
21	300	7
22	327	7
23	335	7
24	362	7
25	370	7
26	397	7
27	405	7
28	432	7
29	440	7
30	467	7
31	475	7
32	502	7
33	510	7
34	537	7
35	545	7
36	572	7
37	580	7
38	607	7
39	615	7
40	642	7
41	650	7
42	677	7
43	685	7
44	712	7
45	720	7
46	747	7
47	755	7
48	782	7
49	790	7
50	817	7
51	825	7
52	852	7
53	860	7
54	887	7
55	895	7
56	922	7
57	930	7
58	957	7
59	965	7
60	992	7
61	1000	7
62	1027	7
63	1035	7
64	1062	7
65	1070	7
66	1097	7
67	1105	7
68	1132	7
69	1140	7
70	1167	7
71	1175	7
72	1202	7
73	1210	7
74	1237	7
75	1245	7
76	1272	7
77	1280	7
78	1307	7
79	1315	7
80	1342	7
81	1350	7
82	1377	7
83	1385	7
84	1412	7
85	1420	7
86	1447	7
87	1455	7
88	1482	7
89	1490	7
90	1517	7
91	1525	7
92	1552	7
93	1560	7
94	1587	7
95	1595	7
96	1622	7
97	1630	7
98	1657	7
99	1665	7
100	1692	7
101	1700	7
102	1727	7
103	1735	7
104	1762	7
105	1770	7
106	1797	7
107	1805	7
108	1832	7
109	1840	7
110	1867	7
111	1875	7
112	1902	7
113	1910	7
114	1937	7
115	1945	7
116	1972	7
117	1980	7
118	2007	7
119	2015	7
120	2042	7
121	2050	7
122	2077	7
123	2085	7
124	2112	7
125	2120	7
126	2147	7
127	2155	7
128	2182	7
129	2190	7
130	2217	7
131	2225	7
132	2252	7
133	2260	7
134	2287	7
135	2295	7
136	2322	7
137	2330	7
138	2357	7
139	2365	7
140	2392	7
141	2400	7
142	2427	7
143	2435	7
144	2462	7
145	2470	7
146	2497	7
147	2505	7
148	2532	7
149	2540	7
150	2567	7
151	2575	7
152	2602	7
153	2610	7
154	2637	7
155	2645	7
156	2672	7
157	2680	7
158	2707	7
159	2715	7
160	2742	7
161	2750	7
162	2777	7
163	2785	7
164	2812	7
165	2820	7
166	2847	7
167	2855	7
168	2882	7
169	2890	7
170	2917	7
171	2925	7
172	2952	7
173	2960	7
174	2987	7
175	2995	7
176	3022	7
177	3030	7
178	3057	7
179	3065	7
180	3092	7
181	3100	7
182	3127	7
183	3135	7
184	3162	7
185	3170	7
186	3197	7
187	3205	7
188	3232	7
189	3240	7
190	3267	7
191	3275	7
192	3302	7
193	3310	7
194	3337	7
195	3345	7
196	3372	7
197	3380	7
198	3407	7
199	3415	7
200	3442	7
201	3450	7
202	3477	7
203	3485	7
204	3512	7
205	3520	7
206	3547	7
207	3555	7
208	3582	7
209	3590	7
210	3617	7
211	3625	7
212	3652	7
213	3660	7
214	3687	7
215	3695	7
216	3722	7
217	3730	7
218	3757	7
219	3765	7
220	3792	7
221	3800	7
222	3827	7
223	3835	7
224	3862	7
225	3870	7
226	3897	7
227	3905	7
228	3932	7
229	3940	7
230	3967	7
231	3975	7
232	4002	7
233	4010	7
234	4037	7
235	4045	7
236	4072	7
237	4080	7
238	4107	7
239	4115	7
240	4142	7
241	4150	7
242	4177	7
243	4185	7
244	4212	7
245	4220	7
246	4247	7
247	4255	7
248	4282	7
249	4290	7
250	4317	7
251	4325	7
252	4352	7
253	4360	7
254	4387	7
255	4395	7
256	4422	7
257	4430	7
258	4457	7
259	4465	7
260	4492	7
261	4500	7
262	4527	7
263	4535	7
264	4562	7
265	4570	7
266	4597	7
267	4605	7
268	4632	7
269	4640	7
270	4667	7
271	4675	7
272	4702	7
273	4710	7
274	4737	7
275	4745	7
276	4772	7
277	4780	7
278	4807	7
279	4815	7
280	4842	7
281	4850	7
282	4877	7
283	4885	7
284	4912	7
285	4920	7
286	4947	7
287	4955	7
288	4982	7
289	4990	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: 13.1b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`add-cube-cbrt`
4×	`pow1` `associate-r/` `associate-r*`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `flip3-+` `div-exp` `prod-exp` `cbrt-unprod` `flip-+` `associate-/l/` `add-log-exp`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `clear-num` `-commutative` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

2 → 46

Calls

2 calls:

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

series16.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify836.0ms

Counts

52 → 52

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	85	458
1	232	434
2	802	376
3	3517	376
done	5000	376

prune75.0ms

Filtered

35 candidates to 52 candidates (-48.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	46	6	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	47	6	53

Merged error: 0.0b

Counts

53 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ z (+ y z))
3.2b	(/ x (/ z (+ y z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
94×	`*-un-lft-identity`
62×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-/r*`
16×	`distribute-lft-out`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 123

Calls

2 calls:

5.0ms	(/ z (+ y z))
12.0ms	(/ x (/ z (+ y z)))

series16.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ z (+ y z))
10.0ms	(/ x (/ z (+ y z)))

simplify430.0ms

Counts

129 → 129

Iterations

Useful iterations: 2 (120.0ms)

Iter	Nodes	Cost
0	187	1758
1	423	1632
2	1657	1564
done	5000	1564

prune109.0ms

Filtered

92 candidates to 129 candidates (-40.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	129	6	135

Merged error: 0b

Counts

135 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ z (+ y z))
0.2b	(/ 1 (/ (/ z (+ y z)) x))
3.2b	(/ (/ z (+ y z)) x)

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

648×	`times-frac`
398×	`*-un-lft-identity`
294×	`add-sqr-sqrt` `add-cube-cbrt`
65×	`associate-/r*`
52×	`distribute-lft-out`
35×	`associate-/r/`
31×	`add-exp-log`
24×	`associate-/l*`
23×	`div-inv`
19×	`div-exp` `add-cbrt-cube`
17×	`flip3-+` `flip-+`
10×	`cbrt-undiv`
4×	`pow1`
3×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `add-log-exp`
1×	`pow-flip` `associate-/l/` `inv-pow`

Counts

3 → 383

Calls

3 calls:

6.0ms	(/ z (+ y z))
18.0ms	(/ 1 (/ (/ z (+ y z)) x))
12.0ms	(/ (/ z (+ y z)) x)

series31.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/ z (+ y z))
9.0ms	(/ 1 (/ (/ z (+ y z)) x))
11.0ms	(/ (/ z (+ y z)) x)

simplify676.0ms

Counts

392 → 392

Iterations

Useful iterations: 2 (371.0ms)

Iter	Nodes	Cost
0	492	7266
1	1239	6413
2	3923	5535
done	5000	5535

prune214.0ms

Filtered

195 candidates to 392 candidates (-101.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	392	0	392
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	392	6	398

Merged error: 0b

Counts

398 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-cbrt-cube`
6×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
3×	`times-frac` `associate-/r*`
2×	`pow1` `cbrt-undiv` `div-exp`
1×	`+-commutative` `frac-2neg` `flip3-+` `prod-exp` `clear-num` `sum-log` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out` `associate-/l*`

Counts

2 → 33

Calls

2 calls:

5.0ms	(+ x (/ (* x y) z))
5.0ms	(/ (* x y) z)

series12.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify659.0ms

Counts

39 → 39

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	67	359
1	184	333
2	629	301
3	2904	301
done	5001	301

prune37.0ms

Filtered

26 candidates to 39 candidates (-50.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	39	0	39
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	39	6	45

Merged error: 0b

Counts

45 → 6

regimes195.0ms

Accuracy

43.3% (1.9b remaining)

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

bsearch36.0ms

Steps

Iters	Range		Point
7	14848.343200454	602010.8647626698	25947.630406955814
10	-5.590082551980238e+120	-2.4478686666901204e+110	-3.5585009134455516e+110

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	29
1	21	23
done	21	23

end0.0ms

sample654.0ms

Algorithm

intervals

Results

267.0ms

9538×

body

valid

Details

sample23.0ms

simplify1.7s

prune3.0ms

localize5.0ms

rewrite14.0ms

series16.0ms

simplify836.0ms

prune75.0ms

localize5.0ms

rewrite23.0ms

series16.0ms

simplify430.0ms

prune109.0ms

localize7.0ms

rewrite63.0ms

series31.0ms

simplify676.0ms

prune214.0ms

localize5.0ms

rewrite11.0ms

series12.0ms

simplify659.0ms

prune37.0ms

regimes195.0ms

bsearch36.0ms

simplify2.0ms

end0.0ms

sample654.0ms

Profiling