Details

sample34.0ms

Algorithm

intervals

Results

9.0ms	59×	body	640	valid
5.0ms	133×	body	80	valid
4.0ms	34×	body	320	valid
4.0ms	19×	body	1280	valid
1.0ms	11×	body	160	valid

simplify2.6min

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	15
1	18	15
2	31	15
3	41	15
4	52	15
5	66	15
6	77	15
7	97	15
8	122	15
9	157	15
10	162	15
11	166	15
12	170	15
13	174	15
14	178	15
15	182	15
16	186	15
17	190	15
18	194	15
19	198	15
20	202	15
21	206	15
22	210	15
23	214	15
24	218	15
25	222	15
26	226	15
27	230	15
28	234	15
29	238	15
30	242	15
31	246	15
32	250	15
33	254	15
34	258	15
35	262	15
36	266	15
37	270	15
38	274	15
39	278	15
40	282	15
41	286	15
42	290	15
43	294	15
44	298	15
45	302	15
46	306	15
47	310	15
48	314	15
49	318	15
50	322	15
51	326	15
52	330	15
53	334	15
54	338	15
55	342	15
56	346	15
57	350	15
58	354	15
59	358	15
60	362	15
61	366	15
62	370	15
63	374	15
64	378	15
65	382	15
66	386	15
67	390	15
68	394	15
69	398	15
70	402	15
71	406	15
72	410	15
73	414	15
74	418	15
75	422	15
76	426	15
77	430	15
78	434	15
79	438	15
80	442	15
81	446	15
82	450	15
83	454	15
84	458	15
85	462	15
86	466	15
87	470	15
88	474	15
89	478	15
90	482	15
91	486	15
92	490	15
93	494	15
94	498	15
95	502	15
96	506	15
97	510	15
98	514	15
99	518	15
100	522	15
101	526	15
102	530	15
103	534	15
104	538	15
105	542	15
106	546	15
107	550	15
108	554	15
109	558	15
110	562	15
111	566	15
112	570	15
113	574	15
114	578	15
115	582	15
116	586	15
117	590	15
118	594	15
119	598	15
120	602	15
121	606	15
122	610	15
123	614	15
124	618	15
125	622	15
126	626	15
127	630	15
128	634	15
129	638	15
130	642	15
131	646	15
132	650	15
133	654	15
134	658	15
135	662	15
136	666	15
137	670	15
138	674	15
139	678	15
140	682	15
141	686	15
142	690	15
143	694	15
144	698	15
145	702	15
146	706	15
147	710	15
148	714	15
149	718	15
150	722	15
151	726	15
152	730	15
153	734	15
154	738	15
155	742	15
156	746	15
157	750	15
158	754	15
159	758	15
160	762	15
161	766	15
162	770	15
163	774	15
164	778	15
165	782	15
166	786	15
167	790	15
168	794	15
169	798	15
170	802	15
171	806	15
172	810	15
173	814	15
174	818	15
175	822	15
176	826	15
177	830	15
178	834	15
179	838	15
180	842	15
181	846	15
182	850	15
183	854	15
184	858	15
185	862	15
186	866	15
187	870	15
188	874	15
189	878	15
190	882	15
191	886	15
192	890	15
193	894	15
194	898	15
195	902	15
196	906	15
197	910	15
198	914	15
199	918	15
200	922	15
201	926	15
202	930	15
203	934	15
204	938	15
205	942	15
206	946	15
207	950	15
208	954	15
209	958	15
210	962	15
211	966	15
212	970	15
213	974	15
214	978	15
215	982	15
216	986	15
217	990	15
218	994	15
219	998	15
220	1002	15
221	1006	15
222	1010	15
223	1014	15
224	1018	15
225	1022	15
226	1026	15
227	1030	15
228	1034	15
229	1038	15
230	1042	15
231	1046	15
232	1050	15
233	1054	15
234	1058	15
235	1062	15
236	1066	15
237	1070	15
238	1074	15
239	1078	15
240	1082	15
241	1086	15
242	1090	15
243	1094	15
244	1098	15
245	1102	15
246	1106	15
247	1110	15
248	1114	15
249	1118	15
250	1122	15
251	1126	15
252	1130	15
253	1134	15
254	1138	15
255	1142	15
256	1146	15
257	1150	15
258	1154	15
259	1158	15
260	1162	15
261	1166	15
262	1170	15
263	1174	15
264	1178	15
265	1182	15
266	1186	15
267	1190	15
268	1194	15
269	1198	15
270	1202	15
271	1206	15
272	1210	15
273	1214	15
274	1218	15
275	1222	15
276	1226	15
277	1230	15
278	1234	15
279	1238	15
280	1242	15
281	1246	15
282	1250	15
283	1254	15
284	1258	15
285	1262	15
286	1266	15
287	1270	15
288	1274	15
289	1278	15
290	1282	15
291	1286	15
292	1290	15
293	1294	15
294	1298	15
295	1302	15
296	1306	15
297	1310	15
298	1314	15
299	1318	15
300	1322	15
301	1326	15
302	1330	15
303	1334	15
304	1338	15
305	1342	15
306	1346	15
307	1350	15
308	1354	15
309	1358	15
310	1362	15
311	1366	15
312	1370	15
313	1374	15
314	1378	15
315	1382	15
316	1386	15
317	1390	15
318	1394	15
319	1398	15
320	1402	15
321	1406	15
322	1410	15
323	1414	15
324	1418	15
325	1422	15
326	1426	15
327	1430	15
328	1434	15
329	1438	15
330	1442	15
331	1446	15
332	1450	15
333	1454	15
334	1458	15
335	1462	15
336	1466	15
337	1470	15
338	1474	15
339	1478	15
340	1482	15
341	1486	15
342	1490	15
343	1494	15
344	1498	15
345	1502	15
346	1506	15
347	1510	15
348	1514	15
349	1518	15
350	1522	15
351	1526	15
352	1530	15
353	1534	15
354	1538	15
355	1542	15
356	1546	15
357	1550	15
358	1554	15
359	1558	15
360	1562	15
361	1566	15
362	1570	15
363	1574	15
364	1578	15
365	1582	15
366	1586	15
367	1590	15
368	1594	15
369	1598	15
370	1602	15
371	1606	15
372	1610	15
373	1614	15
374	1618	15
375	1622	15
376	1626	15
377	1630	15
378	1634	15
379	1638	15
380	1642	15
381	1646	15
382	1650	15
383	1654	15
384	1658	15
385	1662	15
386	1666	15
387	1670	15
388	1674	15
389	1678	15
390	1682	15
391	1686	15
392	1690	15
393	1694	15
394	1698	15
395	1702	15
396	1706	15
397	1710	15
398	1714	15
399	1718	15
400	1722	15
401	1726	15
402	1730	15
403	1734	15
404	1738	15
405	1742	15
406	1746	15
407	1750	15
408	1754	15
409	1758	15
410	1762	15
411	1766	15
412	1770	15
413	1774	15
414	1778	15
415	1782	15
416	1786	15
417	1790	15
418	1794	15
419	1798	15
420	1802	15
421	1806	15
422	1810	15
423	1814	15
424	1818	15
425	1822	15
426	1826	15
427	1830	15
428	1834	15
429	1838	15
430	1842	15
431	1846	15
432	1850	15
433	1854	15
434	1858	15
435	1862	15
436	1866	15
437	1870	15
438	1874	15
439	1878	15
440	1882	15
441	1886	15
442	1890	15
443	1894	15
444	1898	15
445	1902	15
446	1906	15
447	1910	15
448	1914	15
449	1918	15
450	1922	15
451	1926	15
452	1930	15
453	1934	15
454	1938	15
455	1942	15
456	1946	15
457	1950	15
458	1954	15
459	1958	15
460	1962	15
461	1966	15
462	1970	15
463	1974	15
464	1978	15
465	1982	15
466	1986	15
467	1990	15
468	1994	15
469	1998	15
470	2002	15
471	2006	15
472	2010	15
473	2014	15
474	2018	15
475	2022	15
476	2026	15
477	2030	15
478	2034	15
479	2038	15
480	2042	15
481	2046	15
482	2050	15
483	2054	15
484	2058	15
485	2062	15
486	2066	15
487	2070	15
488	2074	15
489	2078	15
490	2082	15
491	2086	15
492	2090	15
493	2094	15
494	2098	15
495	2102	15
496	2106	15
497	2110	15
498	2114	15
499	2118	15
500	2122	15
501	2126	15
502	2130	15
503	2134	15
504	2138	15
505	2142	15
506	2146	15
507	2150	15
508	2154	15
509	2158	15
510	2162	15
511	2166	15
512	2170	15
513	2174	15
514	2178	15
515	2182	15
516	2186	15
517	2190	15
518	2194	15
519	2198	15
520	2202	15
521	2206	15
522	2210	15
523	2214	15
524	2218	15
525	2222	15
526	2226	15
527	2230	15
528	2234	15
529	2238	15
530	2242	15
531	2246	15
532	2250	15
533	2254	15
534	2258	15
535	2262	15
536	2266	15
537	2270	15
538	2274	15
539	2278	15
540	2282	15
541	2286	15
542	2290	15
543	2294	15
544	2298	15
545	2302	15
546	2306	15
547	2310	15
548	2314	15
549	2318	15
550	2322	15
551	2326	15
552	2330	15
553	2334	15
554	2338	15
555	2342	15
556	2346	15
557	2350	15
558	2354	15
559	2358	15
560	2362	15
561	2366	15
562	2370	15
563	2374	15
564	2378	15
565	2382	15
566	2386	15
567	2390	15
568	2394	15
569	2398	15
570	2402	15
571	2406	15
572	2410	15
573	2414	15
574	2418	15
575	2422	15
576	2426	15
577	2430	15
578	2434	15
579	2438	15
580	2442	15
581	2446	15
582	2450	15
583	2454	15
584	2458	15
585	2462	15
586	2466	15
587	2470	15
588	2474	15
589	2478	15
590	2482	15
591	2486	15
592	2490	15
593	2494	15
594	2498	15
595	2502	15
596	2506	15
597	2510	15
598	2514	15
599	2518	15
600	2522	15
601	2526	15
602	2530	15
603	2534	15
604	2538	15
605	2542	15
606	2546	15
607	2550	15
608	2554	15
609	2558	15
610	2562	15
611	2566	15
612	2570	15
613	2574	15
614	2578	15
615	2582	15
616	2586	15
617	2590	15
618	2594	15
619	2598	15
620	2602	15
621	2606	15
622	2610	15
623	2614	15
624	2618	15
625	2622	15
626	2626	15
627	2630	15
628	2634	15
629	2638	15
630	2642	15
631	2646	15
632	2650	15
633	2654	15
634	2658	15
635	2662	15
636	2666	15
637	2670	15
638	2674	15
639	2678	15
640	2682	15
641	2686	15
642	2690	15
643	2694	15
644	2698	15
645	2702	15
646	2706	15
647	2710	15
648	2714	15
649	2718	15
650	2722	15
651	2726	15
652	2730	15
653	2734	15
654	2738	15
655	2742	15
656	2746	15
657	2750	15
658	2754	15
659	2758	15
660	2762	15
661	2766	15
662	2770	15
663	2774	15
664	2778	15
665	2782	15
666	2786	15
667	2790	15
668	2794	15
669	2798	15
670	2802	15
671	2806	15
672	2810	15
673	2814	15
674	2818	15
675	2822	15
676	2826	15
677	2830	15
678	2834	15
679	2838	15
680	2842	15
681	2846	15
682	2850	15
683	2854	15
684	2858	15
685	2862	15
686	2866	15
687	2870	15
688	2874	15
689	2878	15
690	2882	15
691	2886	15
692	2890	15
693	2894	15
694	2898	15
695	2902	15
696	2906	15
697	2910	15
698	2914	15
699	2918	15
700	2922	15
701	2926	15
702	2930	15
703	2934	15
704	2938	15
705	2942	15
706	2946	15
707	2950	15
708	2954	15
709	2958	15
710	2962	15
711	2966	15
712	2970	15
713	2974	15
714	2978	15
715	2982	15
716	2986	15
717	2990	15
718	2994	15
719	2998	15
720	3002	15
721	3006	15
722	3010	15
723	3014	15
724	3018	15
725	3022	15
726	3026	15
727	3030	15
728	3034	15
729	3038	15
730	3042	15
731	3046	15
732	3050	15
733	3054	15
734	3058	15
735	3062	15
736	3066	15
737	3070	15
738	3074	15
739	3078	15
740	3082	15
741	3086	15
742	3090	15
743	3094	15
744	3098	15
745	3102	15
746	3106	15
747	3110	15
748	3114	15
749	3118	15
750	3122	15
751	3126	15
752	3130	15
753	3134	15
754	3138	15
755	3142	15
756	3146	15
757	3150	15
758	3154	15
759	3158	15
760	3162	15
761	3166	15
762	3170	15
763	3174	15
764	3178	15
765	3182	15
766	3186	15
767	3190	15
768	3194	15
769	3198	15
770	3202	15
771	3206	15
772	3210	15
773	3214	15
774	3218	15
775	3222	15
776	3226	15
777	3230	15
778	3234	15
779	3238	15
780	3242	15
781	3246	15
782	3250	15
783	3254	15
784	3258	15
785	3262	15
786	3266	15
787	3270	15
788	3274	15
789	3278	15
790	3282	15
791	3286	15
792	3290	15
793	3294	15
794	3298	15
795	3302	15
796	3306	15
797	3310	15
798	3314	15
799	3318	15
800	3322	15
801	3326	15
802	3330	15
803	3334	15
804	3338	15
805	3342	15
806	3346	15
807	3350	15
808	3354	15
809	3358	15
810	3362	15
811	3366	15
812	3370	15
813	3374	15
814	3378	15
815	3382	15
816	3386	15
817	3390	15
818	3394	15
819	3398	15
820	3402	15
821	3406	15
822	3410	15
823	3414	15
824	3418	15
825	3422	15
826	3426	15
827	3430	15
828	3434	15
829	3438	15
830	3442	15
831	3446	15
832	3450	15
833	3454	15
834	3458	15
835	3462	15
836	3466	15
837	3470	15
838	3474	15
839	3478	15
840	3482	15
841	3486	15
842	3490	15
843	3494	15
844	3498	15
845	3502	15
846	3506	15
847	3510	15
848	3514	15
849	3518	15
850	3522	15
851	3526	15
852	3530	15
853	3534	15
854	3538	15
855	3542	15
856	3546	15
857	3550	15
858	3554	15
859	3558	15
860	3562	15
861	3566	15
862	3570	15
863	3574	15
864	3578	15
865	3582	15
866	3586	15
867	3590	15
868	3594	15
869	3598	15
870	3602	15
871	3606	15
872	3610	15
873	3614	15
874	3618	15
875	3622	15
876	3626	15
877	3630	15
878	3634	15
879	3638	15
880	3642	15
881	3646	15
882	3650	15
883	3654	15
884	3658	15
885	3662	15
886	3666	15
887	3670	15
888	3674	15
889	3678	15
890	3682	15
891	3686	15
892	3690	15
893	3694	15
894	3698	15
895	3702	15
896	3706	15
897	3710	15
898	3714	15
899	3718	15
900	3722	15
901	3726	15
902	3730	15
903	3734	15
904	3738	15
905	3742	15
906	3746	15
907	3750	15
908	3754	15
909	3758	15
910	3762	15
911	3766	15
912	3770	15
913	3774	15
914	3778	15
915	3782	15
916	3786	15
917	3790	15
918	3794	15
919	3798	15
920	3802	15
921	3806	15
922	3810	15
923	3814	15
924	3818	15
925	3822	15
926	3826	15
927	3830	15
928	3834	15
929	3838	15
930	3842	15
931	3846	15
932	3850	15
933	3854	15
934	3858	15
935	3862	15
936	3866	15
937	3870	15
938	3874	15
939	3878	15
940	3882	15
941	3886	15
942	3890	15
943	3894	15
944	3898	15
945	3902	15
946	3906	15
947	3910	15
948	3914	15
949	3918	15
950	3922	15
951	3926	15
952	3930	15
953	3934	15
954	3938	15
955	3942	15
956	3946	15
957	3950	15
958	3954	15
959	3958	15
960	3962	15
961	3966	15
962	3970	15
963	3974	15
964	3978	15
965	3982	15
966	3986	15
967	3990	15
968	3994	15
969	3998	15
970	4002	15
971	4006	15
972	4010	15
973	4014	15
974	4018	15
975	4022	15
976	4026	15
977	4030	15
978	4034	15
979	4038	15
980	4042	15
981	4046	15
982	4050	15
983	4054	15
984	4058	15
985	4062	15
986	4066	15
987	4070	15
988	4074	15
989	4078	15
990	4082	15
991	4086	15
992	4090	15
993	4094	15
994	4098	15
995	4102	15
996	4106	15
997	4110	15
998	4114	15
999	4118	15
1000	4122	15
1001	4126	15
1002	4130	15
1003	4134	15
1004	4138	15
1005	4142	15
1006	4146	15
1007	4150	15
1008	4154	15
1009	4158	15
1010	4162	15
1011	4166	15
1012	4170	15
1013	4174	15
1014	4178	15
1015	4182	15
1016	4186	15
1017	4190	15
1018	4194	15
1019	4198	15
1020	4202	15
1021	4206	15
1022	4210	15
1023	4214	15
1024	4218	15
1025	4222	15
1026	4226	15
1027	4230	15
1028	4234	15
1029	4238	15
1030	4242	15
1031	4246	15
1032	4250	15
1033	4254	15
1034	4258	15
1035	4262	15
1036	4266	15
1037	4270	15
1038	4274	15
1039	4278	15
1040	4282	15
1041	4286	15
1042	4290	15
1043	4294	15
1044	4298	15
1045	4302	15
1046	4306	15
1047	4310	15
1048	4314	15
1049	4318	15
1050	4322	15
1051	4326	15
1052	4330	15
1053	4334	15
1054	4338	15
1055	4342	15
1056	4346	15
1057	4350	15
1058	4354	15
1059	4358	15
1060	4362	15
1061	4366	15
1062	4370	15
1063	4374	15
1064	4378	15
1065	4382	15
1066	4386	15
1067	4390	15
1068	4394	15
1069	4398	15
1070	4402	15
1071	4406	15
1072	4410	15
1073	4414	15
1074	4418	15
1075	4422	15
1076	4426	15
1077	4430	15
1078	4434	15
1079	4438	15
1080	4442	15
1081	4446	15
1082	4450	15
1083	4454	15
1084	4458	15
1085	4462	15
1086	4466	15
1087	4470	15
1088	4474	15
1089	4478	15
1090	4482	15
1091	4486	15
1092	4490	15
1093	4494	15
1094	4498	15
1095	4502	15
1096	4506	15
1097	4510	15
1098	4514	15
1099	4518	15
1100	4522	15
1101	4526	15
1102	4530	15
1103	4534	15
1104	4538	15
1105	4542	15
1106	4546	15
1107	4550	15
1108	4554	15
1109	4558	15
1110	4562	15
1111	4566	15
1112	4570	15
1113	4574	15
1114	4578	15
1115	4582	15
1116	4586	15
1117	4590	15
1118	4594	15
1119	4598	15
1120	4602	15
1121	4606	15
1122	4610	15
1123	4614	15
1124	4618	15
1125	4622	15
1126	4626	15
1127	4630	15
1128	4634	15
1129	4638	15
1130	4642	15
1131	4646	15
1132	4650	15
1133	4654	15
1134	4658	15
1135	4662	15
1136	4666	15
1137	4670	15
1138	4674	15
1139	4678	15
1140	4682	15
1141	4686	15
1142	4690	15
1143	4694	15
1144	4698	15
1145	4702	15
1146	4706	15
1147	4710	15
1148	4714	15
1149	4718	15
1150	4722	15
1151	4726	15
1152	4730	15
1153	4734	15
1154	4738	15
1155	4742	15
1156	4746	15
1157	4750	15
1158	4754	15
1159	4758	15
1160	4762	15
1161	4766	15
1162	4770	15
1163	4774	15
1164	4778	15
1165	4782	15
1166	4786	15
1167	4790	15
1168	4794	15
1169	4798	15
1170	4802	15
1171	4806	15
1172	4810	15
1173	4814	15
1174	4818	15
1175	4822	15
1176	4826	15
1177	4830	15
1178	4834	15
1179	4838	15
1180	4842	15
1181	4846	15
1182	4850	15
1183	4854	15
1184	4858	15
1185	4862	15
1186	4866	15
1187	4870	15
1188	4874	15
1189	4878	15
1190	4882	15
1191	4886	15
1192	4890	15
1193	4894	15
1194	4898	15
1195	4902	15
1196	4906	15
1197	4910	15
1198	4914	15
1199	4918	15
1200	4922	15
1201	4926	15
1202	4930	15
1203	4934	15
1204	4938	15
1205	4942	15
1206	4946	15
1207	4950	15
1208	4954	15
1209	4958	15
1210	4962	15
1211	4966	15
1212	4970	15
1213	4974	15
1214	4978	15
1215	4982	15
1216	4986	15
1217	4990	15
1218	4994	15
1219	4998	15
done	5000	15

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: 9.9b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (- x 1.0))
0.0b	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
0.0b	(/ 1.0 (+ x 1.0))
2.1b	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

83×	`*-un-lft-identity`
47×	`times-frac`
43×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
14×	`distribute-lft-out--`
13×	`distribute-lft-out`
11×	`add-log-exp`
9×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
6×	`associate-/l*`
4×	`pow1` `associate-/r/`
3×	`flip3--` `frac-add` `flip--`
2×	`cbrt-undiv` `sub-neg` `associate-+l+` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `sum-log` `frac-sub` `flip-+` `div-inv`
1×	`+-commutative` `associate-+l-`

Counts

4 → 114

Calls

4 calls:

5.0ms	(/ 1.0 (- x 1.0))
17.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
6.0ms	(/ 1.0 (+ x 1.0))
30.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 1.0 (- x 1.0))
3.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
2.0ms	(/ 1.0 (+ x 1.0))
16.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

simplify923.0ms

Counts

126 → 126

Iterations

Useful iterations: done (919.0ms)

Iter	Nodes	Cost
0	212	1832
1	505	1723
2	1359	1636
3	4118	1610
done	5000	1609

prune207.0ms

Filtered

94 candidates to 126 candidates (-34.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	122	4	126
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	4	127

Merged error: 0.5b

Counts

127 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))
0.3b	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
2.1b	(- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))))
12.7b	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))

rewrite212.0ms

Algorithm

rewrite-expression-head

Rules

340×	`*-un-lft-identity`
225×	`times-frac`
176×	`add-sqr-sqrt`
150×	`frac-sub`
101×	`distribute-lft-out--`
94×	`frac-times`
65×	`add-cube-cbrt`
64×	`flip3--` `flip--`
52×	`associate-r/` `associate-l/`
51×	`difference-of-squares`
47×	`associate-/l/`
41×	`swap-sqr`
31×	`associate-r` `associate-l`
20×	`add-exp-log` `add-cbrt-cube`
18×	`pow1`
16×	`distribute-lft-out`
13×	`associate-/r/`
11×	`associate-/r*`
6×	`add-log-exp`
5×	`cbrt-undiv` `sub-neg` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
4×	`distribute-rgt-in` `distribute-lft-in` `associate--l+` `associate-/l*`
2×	`pow2` `pow-plus` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`frac-2neg` `diff-log` `div-sub` `clear-num`

Counts

4 → 352

Calls

4 calls:

20.0ms	(* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))
44.0ms	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
38.0ms	(- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))))
86.0ms	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))

series52.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))
4.0ms	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
11.0ms	(- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))))
34.0ms	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))

simplify441.0ms

Counts

364 → 364

Iterations

Useful iterations: done (424.0ms)

Iter	Nodes	Cost
0	574	16482
1	1681	15341
done	5001	14569

prune1.6s

Filtered

229 candidates to 364 candidates (-59.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	363	1	364
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	363	5	368

Merged error: 0.5b

Counts

368 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x 1.0) x)
0.2b	(- (* 1.0 x) (* (+ x 1.0) 2.0))
1.6b	(+ (/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x)) (/ 1.0 (- x 1.0)))
14.8b	(/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (+ x 1.0) x)
4.0ms	(- (* 1.0 x) (* (+ x 1.0) 2.0))
20.0ms	(+ (/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x)) (/ 1.0 (- x 1.0)))
10.0ms	(/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x))

series31.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (+ x 1.0) x)
4.0ms	(- (* 1.0 x) (* (+ x 1.0) 2.0))
18.0ms	(+ (/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x)) (/ 1.0 (- x 1.0)))
5.0ms	(/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x))

simplify538.0ms

Counts

85 → 85

Iterations

Useful iterations: done (536.0ms)

Iter	Nodes	Cost
0	153	1549
1	462	1482
2	1870	1260
done	5001	1107

prune119.0ms

Filtered

64 candidates to 85 candidates (-32.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	85	5	90

Merged error: 0.5b

Counts

90 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 3)) (/ 2.0 (pow x 5))))
0.1b	(/ 2.0 (pow x 5))
0.1b	(/ 2.0 (pow x 7))
0.6b	(/ 2.0 (pow x 3))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

87×	`times-frac`
78×	`*-un-lft-identity`
64×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`unpow-prod-down`
26×	`associate-/r*`
19×	`add-exp-log`
12×	`cube-prod` `sqr-pow`
11×	`distribute-lft-out`
10×	`add-cbrt-cube`
9×	`div-exp` `associate-/l*` `add-log-exp`
6×	`div-inv`
4×	`pow1` `cube-mult` `unpow3` `frac-add`
3×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `pow-exp` `clear-num` `sum-log`
2×	`flip3-+` `flip-+`
1×	`+-commutative` `associate-+r+`

Counts

4 → 177

Calls

4 calls:

61.0ms	(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 3)) (/ 2.0 (pow x 5))))
5.0ms	(/ 2.0 (pow x 5))
5.0ms	(/ 2.0 (pow x 7))
6.0ms	(/ 2.0 (pow x 3))

series20.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 3)) (/ 2.0 (pow x 5))))
4.0ms	(/ 2.0 (pow x 5))
5.0ms	(/ 2.0 (pow x 7))
4.0ms	(/ 2.0 (pow x 3))

simplify490.0ms

Counts

189 → 189

Iterations

Useful iterations: done (485.0ms)

Iter	Nodes	Cost
0	286	2461
1	640	2197
2	2041	2113
done	5001	2083

prune352.0ms

Filtered

129 candidates to 189 candidates (-46.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	186	3	189
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	187	7	194

Merged error: 0.0b

Counts

194 → 7

regimes56.0ms

Accuracy

99.8% (0.1b remaining)

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

bsearch28.0ms

Steps

Iters	Range		Point
9	0.009971872296741319	901.3230478674768	128.9853277188641
9	-174458.2165831976	-0.46594774775336223	-111.66855799925936

simplify3.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	29	67
1	39	49
done	39	49

end0.0ms

sample823.0ms

Algorithm

intervals

Results

258.0ms	1823×	body	640	valid
174.0ms	4225×	body	80	valid
108.0ms	546×	body	1280	valid
102.0ms	908×	body	320	valid
36.0ms	500×	body	160	valid

Details

sample34.0ms

simplify2.6min

prune2.0ms

localize16.0ms

rewrite63.0ms

series24.0ms

simplify923.0ms

prune207.0ms

localize14.0ms

rewrite212.0ms

series52.0ms

simplify441.0ms

prune1.6s

localize11.0ms

rewrite41.0ms

series31.0ms

simplify538.0ms

prune119.0ms

localize11.0ms

rewrite88.0ms

series20.0ms

simplify490.0ms

prune352.0ms

regimes56.0ms

bsearch28.0ms

simplify3.0ms

end0.0ms

sample823.0ms

Profiling