Details

sample67.0ms

Algorithm

intervals

Results

31.0ms

380×

body

valid

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	15
1	24	15
2	54	15
3	93	15
4	145	15
5	300	15
6	791	15
7	2642	15
done	5000	15

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.8b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b	(/ y (* z 3.0))
0.2b	(* (* z 3.0) y)
6.2b	(/ t (* (* z 3.0) y))

rewrite214.0ms

Algorithm

rewrite-expression-head

Rules

30×	`*-un-lft-identity`
25×	`add-sqr-sqrt`
23×	`add-exp-log` `add-cube-cbrt` `associate-+l+` `add-cbrt-cube`
21×	`prod-diff`
15×	`times-frac`
9×	`pow1` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`associate-/l*`
5×	`cbrt-undiv` `fma-def` `div-exp` `div-inv`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`associate-r` `pow-prod-down`
2×	`frac-2neg` `frac-add` `clear-num` `associate-/r*` `sum-log` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `associate-l` `*-commutative` `flip--` `flip-+` `difference-of-squares`

Counts

4 → 115

Calls

4 calls:

137.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
8.0ms	(/ y (* z 3.0))
23.0ms	(* (* z 3.0) y)
35.0ms	(/ t (* (* z 3.0) y))

series271.0ms

Counts

4 → 12

Calls

4 calls:

145.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
47.0ms	(/ y (* z 3.0))
39.0ms	(* (* z 3.0) y)
39.0ms	(/ t (* (* z 3.0) y))

simplify2.5s

Counts

127 → 127

Iterations

Useful iterations: done (2.5s)

Iter	Nodes	Cost
0	184	1873
1	511	1735
2	3245	1491
done	5000	1464

prune596.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
0.2b	(/ y (* z 3.0))
0.2b	(/ t (* z 3.0))
6.1b	(/ (/ t (* z 3.0)) y)

rewrite160.0ms

Algorithm

rewrite-expression-head

Rules

48×	`times-frac`
45×	`*-un-lft-identity`
40×	`add-sqr-sqrt`
38×	`add-cube-cbrt`
23×	`add-exp-log` `associate-+l+` `add-cbrt-cube`
21×	`prod-diff`
13×	`associate-/l*`
10×	`div-inv`
9×	`cbrt-undiv` `div-exp` `add-log-exp`
5×	`fma-def` `associate-/r*`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u`
3×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod`
2×	`frac-add` `sum-log` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+` `associate-/l/` `difference-of-squares`

Counts

4 → 143

Calls

4 calls:

109.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
9.0ms	(/ y (* z 3.0))
18.0ms	(/ t (* z 3.0))
18.0ms	(/ (/ t (* z 3.0)) y)

series362.0ms

Counts

4 → 12

Calls

4 calls:

191.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
46.0ms	(/ y (* z 3.0))
47.0ms	(/ t (* z 3.0))
79.0ms	(/ (/ t (* z 3.0)) y)

simplify2.2s

Counts

155 → 155

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	230	2245
1	598	2093
2	2999	1844
done	5000	1829

prune649.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ (/ 1 z) (/ y (/ t 3.0))))
0.2b	(/ y (/ t 3.0))
0.2b	(/ y (* z 3.0))
2.7b	(/ (/ 1 z) (/ y (/ t 3.0)))

rewrite677.0ms

Algorithm

rewrite-expression-head

Rules

1988×	`times-frac`
874×	`*-un-lft-identity`
869×	`add-sqr-sqrt`
867×	`add-cube-cbrt`
111×	`div-inv`
58×	`associate-/r*`
53×	`add-exp-log`
35×	`div-exp` `add-cbrt-cube`
23×	`associate-+l+`
21×	`prod-diff`
20×	`cbrt-undiv`
19×	`associate-/l*`
16×	`associate-/r/`
9×	`add-log-exp`
5×	`fma-def`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u`
3×	`rec-exp` `frac-2neg` `1-exp` `clear-num`
2×	`frac-add` `sum-log` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `prod-exp` `flip--` `cbrt-unprod` `flip-+` `associate-/l/` `difference-of-squares`

Counts

4 → 803

Calls

4 calls:

443.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ 1 z) (/ y (/ t 3.0))))
18.0ms	(/ y (/ t 3.0))
17.0ms	(/ y (* z 3.0))
73.0ms	(/ (/ 1 z) (/ y (/ t 3.0)))

series261.0ms

Counts

4 → 12

Calls

4 calls:

137.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ 1 z) (/ y (/ t 3.0))))
34.0ms	(/ y (/ t 3.0))
33.0ms	(/ y (* z 3.0))
56.0ms	(/ (/ 1 z) (/ y (/ t 3.0)))

simplify885.0ms

Counts

815 → 815

Iterations

Useful iterations: done (827.0ms)

Iter	Nodes	Cost
0	1342	18925
done	5000	17720

prune4.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ (/ y z) 3.0)) (/ (/ 1 z) (/ y (/ t 3.0))))
0.2b	(/ y (/ t 3.0))
0.2b	(/ (/ y z) 3.0)
2.7b	(/ (/ 1 z) (/ y (/ t 3.0)))

rewrite759.0ms

Algorithm

rewrite-expression-head

Rules

2252×	`times-frac`
1051×	`add-sqr-sqrt`
1049×	`*-un-lft-identity`
1042×	`add-cube-cbrt`
131×	`associate-+l+`
129×	`prod-diff`
124×	`div-inv`
60×	`associate-/r*`
53×	`add-exp-log`
36×	`div-exp`
35×	`add-cbrt-cube`
29×	`associate-/l*`
21×	`cbrt-undiv`
16×	`associate-/r/`
9×	`add-log-exp`
7×	`fma-def`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u`
3×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `difference-of-squares`
2×	`frac-add` `sum-log` `associate-/l/` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+`

Counts

4 → 962

Calls

4 calls:

567.0ms	(+ (- x (/ (/ y z) 3.0)) (/ (/ 1 z) (/ y (/ t 3.0))))
14.0ms	(/ y (/ t 3.0))
12.0ms	(/ (/ y z) 3.0)
47.0ms	(/ (/ 1 z) (/ y (/ t 3.0)))

series212.0ms

Counts

4 → 12

Calls

4 calls:

107.0ms	(+ (- x (/ (/ y z) 3.0)) (/ (/ 1 z) (/ y (/ t 3.0))))
36.0ms	(/ y (/ t 3.0))
21.0ms	(/ (/ y z) 3.0)
48.0ms	(/ (/ 1 z) (/ y (/ t 3.0)))

simplify942.0ms

Counts

974 → 974

Iterations

Useful iterations: done (874.0ms)

Iter	Nodes	Cost
0	1566	24588
done	5000	23061

prune5.6s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

regimes321.0ms

Accuracy

27.1% (2.6b remaining)

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

bsearch1.0ms

simplify4.7s

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	47	128
1	70	124
2	98	121
3	109	121
4	115	121
5	121	121
6	127	121
7	133	121
8	139	121
9	145	121
10	151	121
11	157	121
12	163	121
13	169	121
14	175	121
15	181	121
16	187	121
17	193	121
18	199	121
19	205	121
20	211	121
21	217	121
22	223	121
23	229	121
24	235	121
25	241	121
26	247	121
27	253	121
28	259	121
29	265	121
30	271	121
31	277	121
32	283	121
33	289	121
34	295	121
35	301	121
36	307	121
37	313	121
38	319	121
39	325	121
40	331	121
41	337	121
42	343	121
43	349	121
44	355	121
45	361	121
46	367	121
47	373	121
48	379	121
49	385	121
50	391	121
51	397	121
52	403	121
53	409	121
54	415	121
55	421	121
56	427	121
57	433	121
58	439	121
59	445	121
60	451	121
61	457	121
62	463	121
63	469	121
64	475	121
65	481	121
66	487	121
67	493	121
68	499	121
69	505	121
70	511	121
71	517	121
72	523	121
73	529	121
74	535	121
75	541	121
76	547	121
77	553	121
78	559	121
79	565	121
80	571	121
81	577	121
82	583	121
83	589	121
84	595	121
85	601	121
86	607	121
87	613	121
88	619	121
89	625	121
90	631	121
91	637	121
92	643	121
93	649	121
94	655	121
95	661	121
96	667	121
97	673	121
98	679	121
99	685	121
100	691	121
101	697	121
102	703	121
103	709	121
104	715	121
105	721	121
106	727	121
107	733	121
108	739	121
109	745	121
110	751	121
111	757	121
112	763	121
113	769	121
114	775	121
115	781	121
116	787	121
117	793	121
118	799	121
119	805	121
120	811	121
121	817	121
122	823	121
123	829	121
124	835	121
125	841	121
126	847	121
127	853	121
128	859	121
129	865	121
130	871	121
131	877	121
132	883	121
133	889	121
134	895	121
135	901	121
136	907	121
137	913	121
138	919	121
139	925	121
140	931	121
141	937	121
142	943	121
143	949	121
144	955	121
145	961	121
146	967	121
147	973	121
148	979	121
149	985	121
150	991	121
151	997	121
152	1003	121
153	1009	121
154	1015	121
155	1021	121
156	1027	121
157	1033	121
158	1039	121
159	1045	121
160	1051	121
161	1057	121
162	1063	121
163	1069	121
164	1075	121
165	1081	121
166	1087	121
167	1093	121
168	1099	121
169	1105	121
170	1111	121
171	1117	121
172	1123	121
173	1129	121
174	1135	121
175	1141	121
176	1147	121
177	1153	121
178	1159	121
179	1165	121
180	1171	121
181	1177	121
182	1183	121
183	1189	121
184	1195	121
185	1201	121
186	1207	121
187	1213	121
188	1219	121
189	1225	121
190	1231	121
191	1237	121
192	1243	121
193	1249	121
194	1255	121
195	1261	121
196	1267	121
197	1273	121
198	1279	121
199	1285	121
200	1291	121
201	1297	121
202	1303	121
203	1309	121
204	1315	121
205	1321	121
206	1327	121
207	1333	121
208	1339	121
209	1345	121
210	1351	121
211	1357	121
212	1363	121
213	1369	121
214	1375	121
215	1381	121
216	1387	121
217	1393	121
218	1399	121
219	1405	121
220	1411	121
221	1417	121
222	1423	121
223	1429	121
224	1435	121
225	1441	121
226	1447	121
227	1453	121
228	1459	121
229	1465	121
230	1471	121
231	1477	121
232	1483	121
233	1489	121
234	1495	121
235	1501	121
236	1507	121
237	1513	121
238	1519	121
239	1525	121
240	1531	121
241	1537	121
242	1543	121
243	1549	121
244	1555	121
245	1561	121
246	1567	121
247	1573	121
248	1579	121
249	1585	121
250	1591	121
251	1597	121
252	1603	121
253	1609	121
254	1615	121
255	1621	121
256	1627	121
257	1633	121
258	1639	121
259	1645	121
260	1651	121
261	1657	121
262	1663	121
263	1669	121
264	1675	121
265	1681	121
266	1687	121
267	1693	121
268	1699	121
269	1705	121
270	1711	121
271	1717	121
272	1723	121
273	1729	121
274	1735	121
275	1741	121
276	1747	121
277	1753	121
278	1759	121
279	1765	121
280	1771	121
281	1777	121
282	1783	121
283	1789	121
284	1795	121
285	1801	121
286	1807	121
287	1813	121
288	1819	121
289	1825	121
290	1831	121
291	1837	121
292	1843	121
293	1849	121
294	1855	121
295	1861	121
296	1867	121
297	1873	121
298	1879	121
299	1885	121
300	1891	121
301	1897	121
302	1903	121
303	1909	121
304	1915	121
305	1921	121
306	1927	121
307	1933	121
308	1939	121
309	1945	121
310	1951	121
311	1957	121
312	1963	121
313	1969	121
314	1975	121
315	1981	121
316	1987	121
317	1993	121
318	1999	121
319	2005	121
320	2011	121
321	2017	121
322	2023	121
323	2029	121
324	2035	121
325	2041	121
326	2047	121
327	2053	121
328	2059	121
329	2065	121
330	2071	121
331	2077	121
332	2083	121
333	2089	121
334	2095	121
335	2101	121
336	2107	121
337	2113	121
338	2119	121
339	2125	121
340	2131	121
341	2137	121
342	2143	121
343	2149	121
344	2155	121
345	2161	121
346	2167	121
347	2173	121
348	2179	121
349	2185	121
350	2191	121
351	2197	121
352	2203	121
353	2209	121
354	2215	121
355	2221	121
356	2227	121
357	2233	121
358	2239	121
359	2245	121
360	2251	121
361	2257	121
362	2263	121
363	2269	121
364	2275	121
365	2281	121
366	2287	121
367	2293	121
368	2299	121
369	2305	121
370	2311	121
371	2317	121
372	2323	121
373	2329	121
374	2335	121
375	2341	121
376	2347	121
377	2353	121
378	2359	121
379	2365	121
380	2371	121
381	2377	121
382	2383	121
383	2389	121
384	2395	121
385	2401	121
386	2407	121
387	2413	121
388	2419	121
389	2425	121
390	2431	121
391	2437	121
392	2443	121
393	2449	121
394	2455	121
395	2461	121
396	2467	121
397	2473	121
398	2479	121
399	2485	121
400	2491	121
401	2497	121
402	2503	121
403	2509	121
404	2515	121
405	2521	121
406	2527	121
407	2533	121
408	2539	121
409	2545	121
410	2551	121
411	2557	121
412	2563	121
413	2569	121
414	2575	121
415	2581	121
416	2587	121
417	2593	121
418	2599	121
419	2605	121
420	2611	121
421	2617	121
422	2623	121
423	2629	121
424	2635	121
425	2641	121
426	2647	121
427	2653	121
428	2659	121
429	2665	121
430	2671	121
431	2677	121
432	2683	121
433	2689	121
434	2695	121
435	2701	121
436	2707	121
437	2713	121
438	2719	121
439	2725	121
440	2731	121
441	2737	121
442	2743	121
443	2749	121
444	2755	121
445	2761	121
446	2767	121
447	2773	121
448	2779	121
449	2785	121
450	2791	121
451	2797	121
452	2803	121
453	2809	121
454	2815	121
455	2821	121
456	2827	121
457	2833	121
458	2839	121
459	2845	121
460	2851	121
461	2857	121
462	2863	121
463	2869	121
464	2875	121
465	2881	121
466	2887	121
467	2893	121
468	2899	121
469	2905	121
470	2911	121
471	2917	121
472	2923	121
473	2929	121
474	2935	121
475	2941	121
476	2947	121
477	2953	121
478	2959	121
479	2965	121
480	2971	121
481	2977	121
482	2983	121
483	2989	121
484	2995	121
485	3001	121
486	3007	121
487	3013	121
488	3019	121
489	3025	121
490	3031	121
491	3037	121
492	3043	121
493	3049	121
494	3055	121
495	3061	121
496	3067	121
497	3073	121
498	3079	121
499	3085	121
500	3091	121
501	3097	121
502	3103	121
503	3109	121
504	3115	121
505	3121	121
506	3127	121
507	3133	121
508	3139	121
509	3145	121
510	3151	121
511	3157	121
512	3163	121
513	3169	121
514	3175	121
515	3181	121
516	3187	121
517	3193	121
518	3199	121
519	3205	121
520	3211	121
521	3217	121
522	3223	121
523	3229	121
524	3235	121
525	3241	121
526	3247	121
527	3253	121
528	3259	121
529	3265	121
530	3271	121
531	3277	121
532	3283	121
533	3289	121
534	3295	121
535	3301	121
536	3307	121
537	3313	121
538	3319	121
539	3325	121
540	3331	121
541	3337	121
542	3343	121
543	3349	121
544	3355	121
545	3361	121
546	3367	121
547	3373	121
548	3379	121
549	3385	121
550	3391	121
551	3397	121
552	3403	121
553	3409	121
554	3415	121
555	3421	121
556	3427	121
557	3433	121
558	3439	121
559	3445	121
560	3451	121
561	3457	121
562	3463	121
563	3469	121
564	3475	121
565	3481	121
566	3487	121
567	3493	121
568	3499	121
569	3505	121
570	3511	121
571	3517	121
572	3523	121
573	3529	121
574	3535	121
575	3541	121
576	3547	121
577	3553	121
578	3559	121
579	3565	121
580	3571	121
581	3577	121
582	3583	121
583	3589	121
584	3595	121
585	3601	121
586	3607	121
587	3613	121
588	3619	121
589	3625	121
590	3631	121
591	3637	121
592	3643	121
593	3649	121
594	3655	121
595	3661	121
596	3667	121
597	3673	121
598	3679	121
599	3685	121
600	3691	121
601	3697	121
602	3703	121
603	3709	121
604	3715	121
605	3721	121
606	3727	121
607	3733	121
608	3739	121
609	3745	121
610	3751	121
611	3757	121
612	3763	121
613	3769	121
614	3775	121
615	3781	121
616	3787	121
617	3793	121
618	3799	121
619	3805	121
620	3811	121
621	3817	121
622	3823	121
623	3829	121
624	3835	121
625	3841	121
626	3847	121
627	3853	121
628	3859	121
629	3865	121
630	3871	121
631	3877	121
632	3883	121
633	3889	121
634	3895	121
635	3901	121
636	3907	121
637	3913	121
638	3919	121
639	3925	121
640	3931	121
641	3937	121
642	3943	121
643	3949	121
644	3955	121
645	3961	121
646	3967	121
647	3973	121
648	3979	121
649	3985	121
650	3991	121
651	3997	121
652	4003	121
653	4009	121
654	4015	121
655	4021	121
656	4027	121
657	4033	121
658	4039	121
659	4045	121
660	4051	121
661	4057	121
662	4063	121
663	4069	121
664	4075	121
665	4081	121
666	4087	121
667	4093	121
668	4099	121
669	4105	121
670	4111	121
671	4117	121
672	4123	121
673	4129	121
674	4135	121
675	4141	121
676	4147	121
677	4153	121
678	4159	121
679	4165	121
680	4171	121
681	4177	121
682	4183	121
683	4189	121
684	4195	121
685	4201	121
686	4207	121
687	4213	121
688	4219	121
689	4225	121
690	4231	121
691	4237	121
692	4243	121
693	4249	121
694	4255	121
695	4261	121
696	4267	121
697	4273	121
698	4279	121
699	4285	121
700	4291	121
701	4297	121
702	4303	121
703	4309	121
704	4315	121
705	4321	121
706	4327	121
707	4333	121
708	4339	121
709	4345	121
710	4351	121
711	4357	121
712	4363	121
713	4369	121
714	4375	121
715	4381	121
716	4387	121
717	4393	121
718	4399	121
719	4405	121
720	4411	121
721	4417	121
722	4423	121
723	4429	121
724	4435	121
725	4441	121
726	4447	121
727	4453	121
728	4459	121
729	4465	121
730	4471	121
731	4477	121
732	4483	121
733	4489	121
734	4495	121
735	4501	121
736	4507	121
737	4513	121
738	4519	121
739	4525	121
740	4531	121
741	4537	121
742	4543	121
743	4549	121
744	4555	121
745	4561	121
746	4567	121
747	4573	121
748	4579	121
749	4585	121
750	4591	121
751	4597	121
752	4603	121
753	4609	121
754	4615	121
755	4621	121
756	4627	121
757	4633	121
758	4639	121
759	4645	121
760	4651	121
761	4657	121
762	4663	121
763	4669	121
764	4675	121
765	4681	121
766	4687	121
767	4693	121
768	4699	121
769	4705	121
770	4711	121
771	4717	121
772	4723	121
773	4729	121
774	4735	121
775	4741	121
776	4747	121
777	4753	121
778	4759	121
779	4765	121
780	4771	121
781	4777	121
782	4783	121
783	4789	121
784	4795	121
785	4801	121
786	4807	121
787	4813	121
788	4819	121
789	4825	121
790	4831	121
791	4837	121
792	4843	121
793	4849	121
794	4855	121
795	4861	121
796	4867	121
797	4873	121
798	4879	121
799	4885	121
800	4891	121
801	4897	121
802	4903	121
803	4909	121
804	4915	121
805	4921	121
806	4927	121
807	4933	121
808	4939	121
809	4945	121
810	4951	121
811	4957	121
812	4963	121
813	4969	121
814	4975	121
815	4981	121
816	4987	121
817	4993	121
818	4999	121
done	5001	121

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.3s

11147×

body

valid