Details

sample59.0ms

Algorithm

intervals

Results

27.0ms	283×	body	80	valid
10.0ms	244×	body	80	nan

simplify29.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	285
1	24	285
2	41	285
3	62	285
4	81	285
5	88	285
6	98	285
7	130	285
8	226	285
9	286	285
10	318	285
11	337	285
12	362	285
13	372	285
14	385	285
15	395	285
16	410	285
17	418	285
18	435	285
19	443	285
20	460	285
21	470	285
22	487	285
23	497	285
24	514	285
25	524	285
26	541	285
27	551	285
28	568	285
29	576	285
30	597	285
31	607	285
32	620	285
33	628	285
34	647	285
35	655	285
36	672	285
37	680	285
38	697	285
39	705	285
40	722	285
41	732	285
42	745	285
43	755	285
44	770	285
45	778	285
46	799	285
47	807	285
48	820	285
49	828	285
50	847	285
51	855	285
52	868	285
53	878	285
54	899	285
55	905	285
56	922	285
57	932	285
58	949	285
59	957	285
60	978	285
61	988	285
62	1001	285
63	1011	285
64	1032	285
65	1038	285
66	1055	285
67	1065	285
68	1082	285
69	1092	285
70	1109	285
71	1119	285
72	1136	285
73	1146	285
74	1163	285
75	1173	285
76	1190	285
77	1200	285
78	1217	285
79	1227	285
80	1244	285
81	1254	285
82	1271	285
83	1281	285
84	1298	285
85	1308	285
86	1325	285
87	1335	285
88	1352	285
89	1360	285
90	1381	285
91	1391	285
92	1404	285
93	1414	285
94	1435	285
95	1441	285
96	1458	285
97	1468	285
98	1485	285
99	1495	285
100	1512	285
101	1522	285
102	1539	285
103	1549	285
104	1566	285
105	1576	285
106	1593	285
107	1603	285
108	1620	285
109	1630	285
110	1647	285
111	1657	285
112	1674	285
113	1682	285
114	1703	285
115	1713	285
116	1726	285
117	1736	285
118	1757	285
119	1763	285
120	1780	285
121	1788	285
122	1809	285
123	1819	285
124	1832	285
125	1842	285
126	1863	285
127	1869	285
128	1890	285
129	1900	285
130	1913	285
131	1923	285
132	1944	285
133	1950	285
134	1967	285
135	1977	285
136	1994	285
137	2004	285
138	2021	285
139	2031	285
140	2048	285
141	2058	285
142	2075	285
143	2085	285
144	2102	285
145	2110	285
146	2131	285
147	2141	285
148	2154	285
149	2162	285
150	2187	285
151	2193	285
152	2214	285
153	2224	285
154	2237	285
155	2247	285
156	2268	285
157	2274	285
158	2291	285
159	2301	285
160	2318	285
161	2328	285
162	2345	285
163	2355	285
164	2372	285
165	2382	285
166	2399	285
167	2409	285
168	2426	285
169	2436	285
170	2453	285
171	2463	285
172	2480	285
173	2490	285
174	2507	285
175	2517	285
176	2534	285
177	2542	285
178	2563	285
179	2573	285
180	2586	285
181	2596	285
182	2617	285
183	2623	285
184	2640	285
185	2650	285
186	2667	285
187	2677	285
188	2694	285
189	2704	285
190	2721	285
191	2731	285
192	2748	285
193	2758	285
194	2775	285
195	2785	285
196	2802	285
197	2812	285
198	2829	285
199	2839	285
200	2856	285
201	2864	285
202	2885	285
203	2895	285
204	2908	285
205	2918	285
206	2939	285
207	2945	285
208	2966	285
209	2976	285
210	2989	285
211	2999	285
212	3020	285
213	3026	285
214	3043	285
215	3053	285
216	3070	285
217	3080	285
218	3097	285
219	3107	285
220	3124	285
221	3132	285
222	3153	285
223	3163	285
224	3176	285
225	3184	285
226	3209	285
227	3215	285
228	3236	285
229	3246	285
230	3259	285
231	3269	285
232	3290	285
233	3296	285
234	3313	285
235	3323	285
236	3340	285
237	3350	285
238	3367	285
239	3377	285
240	3394	285
241	3404	285
242	3421	285
243	3431	285
244	3448	285
245	3456	285
246	3477	285
247	3487	285
248	3500	285
249	3508	285
250	3533	285
251	3539	285
252	3560	285
253	3570	285
254	3583	285
255	3593	285
256	3614	285
257	3620	285
258	3637	285
259	3647	285
260	3664	285
261	3674	285
262	3691	285
263	3701	285
264	3718	285
265	3728	285
266	3745	285
267	3755	285
268	3772	285
269	3780	285
270	3801	285
271	3811	285
272	3824	285
273	3834	285
274	3855	285
275	3861	285
276	3878	285
277	3886	285
278	3907	285
279	3917	285
280	3930	285
281	3938	285
282	3963	285
283	3969	285
284	3990	285
285	4000	285
286	4013	285
287	4023	285
288	4044	285
289	4050	285
290	4067	285
291	4077	285
292	4094	285
293	4104	285
294	4121	285
295	4131	285
296	4148	285
297	4156	285
298	4177	285
299	4187	285
300	4200	285
301	4210	285
302	4231	285
303	4237	285
304	4258	285
305	4268	285
306	4281	285
307	4291	285
308	4312	285
309	4318	285
310	4339	285
311	4349	285
312	4362	285
313	4372	285
314	4393	285
315	4399	285
316	4416	285
317	4426	285
318	4443	285
319	4453	285
320	4470	285
321	4480	285
322	4497	285
323	4505	285
324	4526	285
325	4534	285
326	4551	285
327	4561	285
328	4574	285
329	4582	285
330	4607	285
331	4613	285
332	4634	285
333	4644	285
334	4657	285
335	4667	285
336	4688	285
337	4694	285
338	4711	285
339	4717	285
340	4738	285
341	4748	285
342	4761	285
343	4771	285
344	4792	285
345	4798	285
346	4815	285
347	4823	285
348	4844	285
349	4854	285
350	4867	285
351	4877	285
352	4898	285
353	4904	285
354	4921	285
355	4931	285
356	4948	285
357	4958	285
358	4975	285
359	4985	285
done	5000	285

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.2b	(/ y (* 3.0 (sqrt x)))
0.2b	(* 3.0 (sqrt x))
0.5b	(/ 1.0 (* x 9.0))

rewrite165.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
63×	`*-un-lft-identity`
56×	`prod-diff`
42×	`add-cube-cbrt`
30×	`times-frac`
23×	`associate--l+`
16×	`add-cbrt-cube` `add-exp-log`
11×	`distribute-lft-out--`
10×	`div-inv`
9×	`add-log-exp` `difference-of-squares`
6×	`pow1` `associate-r` `associate-/l*`
5×	`fma-neg`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `sqrt-prod` `log1p-expm1-u`
3×	`diff-log` `associate-l` `prod-exp` `cbrt-unprod`
2×	`clear-num` `associate-/r*` `sub-neg` `frac-2neg` `flip3--` `frac-sub` `flip--` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 154

Calls

4 calls:

114.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
14.0ms	(/ y (* 3.0 (sqrt x)))
15.0ms	(* 3.0 (sqrt x))
12.0ms	(/ 1.0 (* x 9.0))

series231.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
80.0ms	(/ y (* 3.0 (sqrt x)))
57.0ms	(* 3.0 (sqrt x))
21.0ms	(/ 1.0 (* x 9.0))

simplify3.1s

Counts

166 → 166

Iterations

Useful iterations: done (3.0s)

Iter	Nodes	Cost
0	309	64866
1	810	58977
2	2667	52904
done	5004	51463

prune1.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (/ (/ 1.0 x) 9.0))
0.2b	(/ y (* 3.0 (sqrt x)))
0.2b	(* 3.0 (sqrt x))
0.3b	(/ (/ 1.0 x) 9.0)

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

279×	`times-frac`
213×	`add-sqr-sqrt`
202×	`*-un-lft-identity`
200×	`add-cube-cbrt`
129×	`prod-diff`
18×	`div-inv`
16×	`add-cbrt-cube` `add-exp-log` `associate-/l*`
6×	`pow1` `associate-r` `add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `associate-/r*` `sqrt-prod` `log1p-expm1-u`
3×	`fma-neg` `associate-l` `difference-of-squares`
2×	`clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `*-commutative` `flip--` `distribute-lft-out--` `associate-/l/`

Counts

4 → 269

Calls

4 calls:

38.0ms	(- 1.0 (/ (/ 1.0 x) 9.0))
7.0ms	(/ y (* 3.0 (sqrt x)))
12.0ms	(* 3.0 (sqrt x))
12.0ms	(/ (/ 1.0 x) 9.0)

series223.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(- 1.0 (/ (/ 1.0 x) 9.0))
86.0ms	(/ y (* 3.0 (sqrt x)))
45.0ms	(* 3.0 (sqrt x))
32.0ms	(/ (/ 1.0 x) 9.0)

simplify2.5s

Counts

281 → 281

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	592	149071
1	1564	135129
done	5000	121367

prune1.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (/ 0.1111111111111111 x))
0.0b	(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
0.2b	(/ y (* 3.0 (sqrt x)))
0.2b	(* 3.0 (sqrt x))

rewrite173.0ms

Algorithm

rewrite-expression-head

Rules

149×	`add-sqr-sqrt`
121×	`*-un-lft-identity`
120×	`prod-diff`
98×	`add-cube-cbrt`
84×	`times-frac`
41×	`associate--l+`
19×	`difference-of-squares`
13×	`div-inv`
12×	`distribute-lft-out--`
11×	`add-cbrt-cube` `add-exp-log` `add-log-exp`
9×	`fma-neg`
6×	`pow1` `associate-r`
4×	`expm1-log1p-u` `diff-log` `sqrt-prod` `log1p-expm1-u`
3×	`sub-neg` `flip3--` `associate-l` `flip--` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `frac-sub` `cbrt-unprod` `unswap-sqr`
1×	`associate--l-` `clear-num` `associate-/r` `frac-2neg` `pow-prod-down` `-commutative`

Counts

4 → 216

Calls

4 calls:

14.0ms	(- 1.0 (/ 0.1111111111111111 x))
135.0ms	(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
7.0ms	(/ y (* 3.0 (sqrt x)))
8.0ms	(* 3.0 (sqrt x))

series272.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(- 1.0 (/ 0.1111111111111111 x))
58.0ms	(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
111.0ms	(/ y (* 3.0 (sqrt x)))
59.0ms	(* 3.0 (sqrt x))

simplify3.5s

Counts

228 → 228

Iterations

Useful iterations: done (3.5s)

Iter	Nodes	Cost
0	381	101497
1	979	91762
2	2798	77163
done	5054	71359

prune1.4s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 3.0 (sqrt x))
0.3b	(/ (* 3.0 (sqrt x)) y)
0.5b	(/ 1 (/ (* 3.0 (sqrt x)) y))
0.5b	(/ 1.0 (* x 9.0))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

39×	`times-frac`
37×	`add-exp-log`
31×	`add-sqr-sqrt`
27×	`*-un-lft-identity` `add-cube-cbrt`
25×	`add-cbrt-cube`
16×	`div-exp`
11×	`associate-/r*`
9×	`cbrt-undiv`
7×	`pow1` `div-inv` `associate-/l*`
6×	`associate-r` `prod-exp`
4×	`expm1-log1p-u` `sqrt-prod` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `associate-l`
2×	`unswap-sqr`
1×	`pow-prod-down` `associate-/r/` `*-commutative` `pow-flip` `inv-pow`

Counts

4 → 128

Calls

4 calls:

8.0ms	(* 3.0 (sqrt x))
9.0ms	(/ (* 3.0 (sqrt x)) y)
17.0ms	(/ 1 (/ (* 3.0 (sqrt x)) y))
13.0ms	(/ 1.0 (* x 9.0))

series277.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(* 3.0 (sqrt x))
93.0ms	(/ (* 3.0 (sqrt x)) y)
84.0ms	(/ 1 (/ (* 3.0 (sqrt x)) y))
37.0ms	(/ 1.0 (* x 9.0))

simplify302.0ms

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	262	35845