Details

sample17.0ms

Algorithm

intervals

Results

5.0ms	233×	body	80	valid
1.0ms	10×	body	1280	valid
0.0ms	4×	body	2560	valid
0.0ms	4×	body	640	valid
0.0ms	5×	body	320	valid

simplify1.5min

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	19	7
3	29	7
4	39	7
5	50	7
6	60	7
7	75	7
8	94	7
9	123	7
10	172	7
11	191	7
12	202	7
13	210	7
14	217	7
15	224	7
16	231	7
17	238	7
18	245	7
19	252	7
20	259	7
21	264	7
22	268	7
23	272	7
24	276	7
25	280	7
26	284	7
27	288	7
28	292	7
29	296	7
30	300	7
31	304	7
32	308	7
33	312	7
34	316	7
35	320	7
36	324	7
37	328	7
38	332	7
39	336	7
40	340	7
41	344	7
42	348	7
43	352	7
44	356	7
45	360	7
46	364	7
47	368	7
48	372	7
49	376	7
50	380	7
51	384	7
52	388	7
53	392	7
54	396	7
55	400	7
56	404	7
57	408	7
58	412	7
59	416	7
60	420	7
61	424	7
62	428	7
63	432	7
64	436	7
65	440	7
66	444	7
67	448	7
68	452	7
69	456	7
70	460	7
71	464	7
72	468	7
73	472	7
74	476	7
75	480	7
76	484	7
77	488	7
78	492	7
79	496	7
80	500	7
81	504	7
82	508	7
83	512	7
84	516	7
85	520	7
86	524	7
87	528	7
88	532	7
89	536	7
90	540	7
91	544	7
92	548	7
93	552	7
94	556	7
95	560	7
96	564	7
97	568	7
98	572	7
99	576	7
100	580	7
101	584	7
102	588	7
103	592	7
104	596	7
105	600	7
106	604	7
107	608	7
108	612	7
109	616	7
110	620	7
111	624	7
112	628	7
113	632	7
114	636	7
115	640	7
116	644	7
117	648	7
118	652	7
119	656	7
120	660	7
121	664	7
122	668	7
123	672	7
124	676	7
125	680	7
126	684	7
127	688	7
128	692	7
129	696	7
130	700	7
131	704	7
132	708	7
133	712	7
134	716	7
135	720	7
136	724	7
137	728	7
138	732	7
139	736	7
140	740	7
141	744	7
142	748	7
143	752	7
144	756	7
145	760	7
146	764	7
147	768	7
148	772	7
149	776	7
150	780	7
151	784	7
152	788	7
153	792	7
154	796	7
155	800	7
156	804	7
157	808	7
158	812	7
159	816	7
160	820	7
161	824	7
162	828	7
163	832	7
164	836	7
165	840	7
166	844	7
167	848	7
168	852	7
169	856	7
170	860	7
171	864	7
172	868	7
173	872	7
174	876	7
175	880	7
176	884	7
177	888	7
178	892	7
179	896	7
180	900	7
181	904	7
182	908	7
183	912	7
184	916	7
185	920	7
186	924	7
187	928	7
188	932	7
189	936	7
190	940	7
191	944	7
192	948	7
193	952	7
194	956	7
195	960	7
196	964	7
197	968	7
198	972	7
199	976	7
200	980	7
201	984	7
202	988	7
203	992	7
204	996	7
205	1000	7
206	1004	7
207	1008	7
208	1012	7
209	1016	7
210	1020	7
211	1024	7
212	1028	7
213	1032	7
214	1036	7
215	1040	7
216	1044	7
217	1048	7
218	1052	7
219	1056	7
220	1060	7
221	1064	7
222	1068	7
223	1072	7
224	1076	7
225	1080	7
226	1084	7
227	1088	7
228	1092	7
229	1096	7
230	1100	7
231	1104	7
232	1108	7
233	1112	7
234	1116	7
235	1120	7
236	1124	7
237	1128	7
238	1132	7
239	1136	7
240	1140	7
241	1144	7
242	1148	7
243	1152	7
244	1156	7
245	1160	7
246	1164	7
247	1168	7
248	1172	7
249	1176	7
250	1180	7
251	1184	7
252	1188	7
253	1192	7
254	1196	7
255	1200	7
256	1204	7
257	1208	7
258	1212	7
259	1216	7
260	1220	7
261	1224	7
262	1228	7
263	1232	7
264	1236	7
265	1240	7
266	1244	7
267	1248	7
268	1252	7
269	1256	7
270	1260	7
271	1264	7
272	1268	7
273	1272	7
274	1276	7
275	1280	7
276	1284	7
277	1288	7
278	1292	7
279	1296	7
280	1300	7
281	1304	7
282	1308	7
283	1312	7
284	1316	7
285	1320	7
286	1324	7
287	1328	7
288	1332	7
289	1336	7
290	1340	7
291	1344	7
292	1348	7
293	1352	7
294	1356	7
295	1360	7
296	1364	7
297	1368	7
298	1372	7
299	1376	7
300	1380	7
301	1384	7
302	1388	7
303	1392	7
304	1396	7
305	1400	7
306	1404	7
307	1408	7
308	1412	7
309	1416	7
310	1420	7
311	1424	7
312	1428	7
313	1432	7
314	1436	7
315	1440	7
316	1444	7
317	1448	7
318	1452	7
319	1456	7
320	1460	7
321	1464	7
322	1468	7
323	1472	7
324	1476	7
325	1480	7
326	1484	7
327	1488	7
328	1492	7
329	1496	7
330	1500	7
331	1504	7
332	1508	7
333	1512	7
334	1516	7
335	1520	7
336	1524	7
337	1528	7
338	1532	7
339	1536	7
340	1540	7
341	1544	7
342	1548	7
343	1552	7
344	1556	7
345	1560	7
346	1564	7
347	1568	7
348	1572	7
349	1576	7
350	1580	7
351	1584	7
352	1588	7
353	1592	7
354	1596	7
355	1600	7
356	1604	7
357	1608	7
358	1612	7
359	1616	7
360	1620	7
361	1624	7
362	1628	7
363	1632	7
364	1636	7
365	1640	7
366	1644	7
367	1648	7
368	1652	7
369	1656	7
370	1660	7
371	1664	7
372	1668	7
373	1672	7
374	1676	7
375	1680	7
376	1684	7
377	1688	7
378	1692	7
379	1696	7
380	1700	7
381	1704	7
382	1708	7
383	1712	7
384	1716	7
385	1720	7
386	1724	7
387	1728	7
388	1732	7
389	1736	7
390	1740	7
391	1744	7
392	1748	7
393	1752	7
394	1756	7
395	1760	7
396	1764	7
397	1768	7
398	1772	7
399	1776	7
400	1780	7
401	1784	7
402	1788	7
403	1792	7
404	1796	7
405	1800	7
406	1804	7
407	1808	7
408	1812	7
409	1816	7
410	1820	7
411	1824	7
412	1828	7
413	1832	7
414	1836	7
415	1840	7
416	1844	7
417	1848	7
418	1852	7
419	1856	7
420	1860	7
421	1864	7
422	1868	7
423	1872	7
424	1876	7
425	1880	7
426	1884	7
427	1888	7
428	1892	7
429	1896	7
430	1900	7
431	1904	7
432	1908	7
433	1912	7
434	1916	7
435	1920	7
436	1924	7
437	1928	7
438	1932	7
439	1936	7
440	1940	7
441	1944	7
442	1948	7
443	1952	7
444	1956	7
445	1960	7
446	1964	7
447	1968	7
448	1972	7
449	1976	7
450	1980	7
451	1984	7
452	1988	7
453	1992	7
454	1996	7
455	2000	7
456	2004	7
457	2008	7
458	2012	7
459	2016	7
460	2020	7
461	2024	7
462	2028	7
463	2032	7
464	2036	7
465	2040	7
466	2044	7
467	2048	7
468	2052	7
469	2056	7
470	2060	7
471	2064	7
472	2068	7
473	2072	7
474	2076	7
475	2080	7
476	2084	7
477	2088	7
478	2092	7
479	2096	7
480	2100	7
481	2104	7
482	2108	7
483	2112	7
484	2116	7
485	2120	7
486	2124	7
487	2128	7
488	2132	7
489	2136	7
490	2140	7
491	2144	7
492	2148	7
493	2152	7
494	2156	7
495	2160	7
496	2164	7
497	2168	7
498	2172	7
499	2176	7
500	2180	7
501	2184	7
502	2188	7
503	2192	7
504	2196	7
505	2200	7
506	2204	7
507	2208	7
508	2212	7
509	2216	7
510	2220	7
511	2224	7
512	2228	7
513	2232	7
514	2236	7
515	2240	7
516	2244	7
517	2248	7
518	2252	7
519	2256	7
520	2260	7
521	2264	7
522	2268	7
523	2272	7
524	2276	7
525	2280	7
526	2284	7
527	2288	7
528	2292	7
529	2296	7
530	2300	7
531	2304	7
532	2308	7
533	2312	7
534	2316	7
535	2320	7
536	2324	7
537	2328	7
538	2332	7
539	2336	7
540	2340	7
541	2344	7
542	2348	7
543	2352	7
544	2356	7
545	2360	7
546	2364	7
547	2368	7
548	2372	7
549	2376	7
550	2380	7
551	2384	7
552	2388	7
553	2392	7
554	2396	7
555	2400	7
556	2404	7
557	2408	7
558	2412	7
559	2416	7
560	2420	7
561	2424	7
562	2428	7
563	2432	7
564	2436	7
565	2440	7
566	2444	7
567	2448	7
568	2452	7
569	2456	7
570	2460	7
571	2464	7
572	2468	7
573	2472	7
574	2476	7
575	2480	7
576	2484	7
577	2488	7
578	2492	7
579	2496	7
580	2500	7
581	2504	7
582	2508	7
583	2512	7
584	2516	7
585	2520	7
586	2524	7
587	2528	7
588	2532	7
589	2536	7
590	2540	7
591	2544	7
592	2548	7
593	2552	7
594	2556	7
595	2560	7
596	2564	7
597	2568	7
598	2572	7
599	2576	7
600	2580	7
601	2584	7
602	2588	7
603	2592	7
604	2596	7
605	2600	7
606	2604	7
607	2608	7
608	2612	7
609	2616	7
610	2620	7
611	2624	7
612	2628	7
613	2632	7
614	2636	7
615	2640	7
616	2644	7
617	2648	7
618	2652	7
619	2656	7
620	2660	7
621	2664	7
622	2668	7
623	2672	7
624	2676	7
625	2680	7
626	2684	7
627	2688	7
628	2692	7
629	2696	7
630	2700	7
631	2704	7
632	2708	7
633	2712	7
634	2716	7
635	2720	7
636	2724	7
637	2728	7
638	2732	7
639	2736	7
640	2740	7
641	2744	7
642	2748	7
643	2752	7
644	2756	7
645	2760	7
646	2764	7
647	2768	7
648	2772	7
649	2776	7
650	2780	7
651	2784	7
652	2788	7
653	2792	7
654	2796	7
655	2800	7
656	2804	7
657	2808	7
658	2812	7
659	2816	7
660	2820	7
661	2824	7
662	2828	7
663	2832	7
664	2836	7
665	2840	7
666	2844	7
667	2848	7
668	2852	7
669	2856	7
670	2860	7
671	2864	7
672	2868	7
673	2872	7
674	2876	7
675	2880	7
676	2884	7
677	2888	7
678	2892	7
679	2896	7
680	2900	7
681	2904	7
682	2908	7
683	2912	7
684	2916	7
685	2920	7
686	2924	7
687	2928	7
688	2932	7
689	2936	7
690	2940	7
691	2944	7
692	2948	7
693	2952	7
694	2956	7
695	2960	7
696	2964	7
697	2968	7
698	2972	7
699	2976	7
700	2980	7
701	2984	7
702	2988	7
703	2992	7
704	2996	7
705	3000	7
706	3004	7
707	3008	7
708	3012	7
709	3016	7
710	3020	7
711	3024	7
712	3028	7
713	3032	7
714	3036	7
715	3040	7
716	3044	7
717	3048	7
718	3052	7
719	3056	7
720	3060	7
721	3064	7
722	3068	7
723	3072	7
724	3076	7
725	3080	7
726	3084	7
727	3088	7
728	3092	7
729	3096	7
730	3100	7
731	3104	7
732	3108	7
733	3112	7
734	3116	7
735	3120	7
736	3124	7
737	3128	7
738	3132	7
739	3136	7
740	3140	7
741	3144	7
742	3148	7
743	3152	7
744	3156	7
745	3160	7
746	3164	7
747	3168	7
748	3172	7
749	3176	7
750	3180	7
751	3184	7
752	3188	7
753	3192	7
754	3196	7
755	3200	7
756	3204	7
757	3208	7
758	3212	7
759	3216	7
760	3220	7
761	3224	7
762	3228	7
763	3232	7
764	3236	7
765	3240	7
766	3244	7
767	3248	7
768	3252	7
769	3256	7
770	3260	7
771	3264	7
772	3268	7
773	3272	7
774	3276	7
775	3280	7
776	3284	7
777	3288	7
778	3292	7
779	3296	7
780	3300	7
781	3304	7
782	3308	7
783	3312	7
784	3316	7
785	3320	7
786	3324	7
787	3328	7
788	3332	7
789	3336	7
790	3340	7
791	3344	7
792	3348	7
793	3352	7
794	3356	7
795	3360	7
796	3364	7
797	3368	7
798	3372	7
799	3376	7
800	3380	7
801	3384	7
802	3388	7
803	3392	7
804	3396	7
805	3400	7
806	3404	7
807	3408	7
808	3412	7
809	3416	7
810	3420	7
811	3424	7
812	3428	7
813	3432	7
814	3436	7
815	3440	7
816	3444	7
817	3448	7
818	3452	7
819	3456	7
820	3460	7
821	3464	7
822	3468	7
823	3472	7
824	3476	7
825	3480	7
826	3484	7
827	3488	7
828	3492	7
829	3496	7
830	3500	7
831	3504	7
832	3508	7
833	3512	7
834	3516	7
835	3520	7
836	3524	7
837	3528	7
838	3532	7
839	3536	7
840	3540	7
841	3544	7
842	3548	7
843	3552	7
844	3556	7
845	3560	7
846	3564	7
847	3568	7
848	3572	7
849	3576	7
850	3580	7
851	3584	7
852	3588	7
853	3592	7
854	3596	7
855	3600	7
856	3604	7
857	3608	7
858	3612	7
859	3616	7
860	3620	7
861	3624	7
862	3628	7
863	3632	7
864	3636	7
865	3640	7
866	3644	7
867	3648	7
868	3652	7
869	3656	7
870	3660	7
871	3664	7
872	3668	7
873	3672	7
874	3676	7
875	3680	7
876	3684	7
877	3688	7
878	3692	7
879	3696	7
880	3700	7
881	3704	7
882	3708	7
883	3712	7
884	3716	7
885	3720	7
886	3724	7
887	3728	7
888	3732	7
889	3736	7
890	3740	7
891	3744	7
892	3748	7
893	3752	7
894	3756	7
895	3760	7
896	3764	7
897	3768	7
898	3772	7
899	3776	7
900	3780	7
901	3784	7
902	3788	7
903	3792	7
904	3796	7
905	3800	7
906	3804	7
907	3808	7
908	3812	7
909	3816	7
910	3820	7
911	3824	7
912	3828	7
913	3832	7
914	3836	7
915	3840	7
916	3844	7
917	3848	7
918	3852	7
919	3856	7
920	3860	7
921	3864	7
922	3868	7
923	3872	7
924	3876	7
925	3880	7
926	3884	7
927	3888	7
928	3892	7
929	3896	7
930	3900	7
931	3904	7
932	3908	7
933	3912	7
934	3916	7
935	3920	7
936	3924	7
937	3928	7
938	3932	7
939	3936	7
940	3940	7
941	3944	7
942	3948	7
943	3952	7
944	3956	7
945	3960	7
946	3964	7
947	3968	7
948	3972	7
949	3976	7
950	3980	7
951	3984	7
952	3988	7
953	3992	7
954	3996	7
955	4000	7
956	4004	7
957	4008	7
958	4012	7
959	4016	7
960	4020	7
961	4024	7
962	4028	7
963	4032	7
964	4036	7
965	4040	7
966	4044	7
967	4048	7
968	4052	7
969	4056	7
970	4060	7
971	4064	7
972	4068	7
973	4072	7
974	4076	7
975	4080	7
976	4084	7
977	4088	7
978	4092	7
979	4096	7
980	4100	7
981	4104	7
982	4108	7
983	4112	7
984	4116	7
985	4120	7
986	4124	7
987	4128	7
988	4132	7
989	4136	7
990	4140	7
991	4144	7
992	4148	7
993	4152	7
994	4156	7
995	4160	7
996	4164	7
997	4168	7
998	4172	7
999	4176	7
1000	4180	7
1001	4184	7
1002	4188	7
1003	4192	7
1004	4196	7
1005	4200	7
1006	4204	7
1007	4208	7
1008	4212	7
1009	4216	7
1010	4220	7
1011	4224	7
1012	4228	7
1013	4232	7
1014	4236	7
1015	4240	7
1016	4244	7
1017	4248	7
1018	4252	7
1019	4256	7
1020	4260	7
1021	4264	7
1022	4268	7
1023	4272	7
1024	4276	7
1025	4280	7
1026	4284	7
1027	4288	7
1028	4292	7
1029	4296	7
1030	4300	7
1031	4304	7
1032	4308	7
1033	4312	7
1034	4316	7
1035	4320	7
1036	4324	7
1037	4328	7
1038	4332	7
1039	4336	7
1040	4340	7
1041	4344	7
1042	4348	7
1043	4352	7
1044	4356	7
1045	4360	7
1046	4364	7
1047	4368	7
1048	4372	7
1049	4376	7
1050	4380	7
1051	4384	7
1052	4388	7
1053	4392	7
1054	4396	7
1055	4400	7
1056	4404	7
1057	4408	7
1058	4412	7
1059	4416	7
1060	4420	7
1061	4424	7
1062	4428	7
1063	4432	7
1064	4436	7
1065	4440	7
1066	4444	7
1067	4448	7
1068	4452	7
1069	4456	7
1070	4460	7
1071	4464	7
1072	4468	7
1073	4472	7
1074	4476	7
1075	4480	7
1076	4484	7
1077	4488	7
1078	4492	7
1079	4496	7
1080	4500	7
1081	4504	7
1082	4508	7
1083	4512	7
1084	4516	7
1085	4520	7
1086	4524	7
1087	4528	7
1088	4532	7
1089	4536	7
1090	4540	7
1091	4544	7
1092	4548	7
1093	4552	7
1094	4556	7
1095	4560	7
1096	4564	7
1097	4568	7
1098	4572	7
1099	4576	7
1100	4580	7
1101	4584	7
1102	4588	7
1103	4592	7
1104	4596	7
1105	4600	7
1106	4604	7
1107	4608	7
1108	4612	7
1109	4616	7
1110	4620	7
1111	4624	7
1112	4628	7
1113	4632	7
1114	4636	7
1115	4640	7
1116	4644	7
1117	4648	7
1118	4652	7
1119	4656	7
1120	4660	7
1121	4664	7
1122	4668	7
1123	4672	7
1124	4676	7
1125	4680	7
1126	4684	7
1127	4688	7
1128	4692	7
1129	4696	7
1130	4700	7
1131	4704	7
1132	4708	7
1133	4712	7
1134	4716	7
1135	4720	7
1136	4724	7
1137	4728	7
1138	4732	7
1139	4736	7
1140	4740	7
1141	4744	7
1142	4748	7
1143	4752	7
1144	4756	7
1145	4760	7
1146	4764	7
1147	4768	7
1148	4772	7
1149	4776	7
1150	4780	7
1151	4784	7
1152	4788	7
1153	4792	7
1154	4796	7
1155	4800	7
1156	4804	7
1157	4808	7
1158	4812	7
1159	4816	7
1160	4820	7
1161	4824	7
1162	4828	7
1163	4832	7
1164	4836	7
1165	4840	7
1166	4844	7
1167	4848	7
1168	4852	7
1169	4856	7
1170	4860	7
1171	4864	7
1172	4868	7
1173	4872	7
1174	4876	7
1175	4880	7
1176	4884	7
1177	4888	7
1178	4892	7
1179	4896	7
1180	4900	7
1181	4904	7
1182	4908	7
1183	4912	7
1184	4916	7
1185	4920	7
1186	4924	7
1187	4928	7
1188	4932	7
1189	4936	7
1190	4940	7
1191	4944	7
1192	4948	7
1193	4952	7
1194	4956	7
1195	4960	7
1196	4964	7
1197	4968	7
1198	4972	7
1199	4976	7
1200	4980	7
1201	4984	7
1202	4988	7
1203	4992	7
1204	4996	7
done	5000	7

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

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- x y) 2.0))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 13

Calls

1 calls:

9.0ms

(+ x (/ (- x y) 2.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(+ x (/ (- x y) 2.0))

simplify718.0ms

Counts

16 → 16

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	34	178
1	92	171
2	220	157
3	623	157
4	2462	157
done	5000	157

prune46.0ms

Filtered

13 candidates to 16 candidates (-23.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	11	5	16
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	12	5	17

Merged error: 0.0b

Counts

17 → 5

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* 1.5 x) (* 0.5 y))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

4.0ms

(- (* 1.5 x) (* 0.5 y))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(- (* 1.5 x) (* 0.5 y))

simplify731.0ms

Counts

15 → 15

Iterations

Useful iterations: 2 (27.0ms)

Iter	Nodes	Cost
0	29	174
1	88	169
2	272	155
3	760	155
4	1763	155
done	5000	155

prune30.0ms

Filtered

10 candidates to 15 candidates (-50.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	15	5	20

Merged error: 0.0b

Counts

20 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))

rewrite52.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:

22.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series480.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
329.0ms	(cbrt (+ x (/ (- x y) 2.0)))
45.0ms	(cbrt (+ x (/ (- x y) 2.0)))
53.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify624.0ms

Counts

107 → 107

Iterations

Useful iterations: done (620.0ms)

Iter	Nodes	Cost
0	129	2124
1	266	1978
2	666	1841
3	1787	1681
done	5000	1606

prune223.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	105	7	112

Merged error: 0.0b

Counts

112 → 7

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

16×	`cbrt-prod` `*-un-lft-identity`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

4 → 56

Calls

4 calls:

9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series196.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(cbrt (+ x (/ (- x y) 2.0)))
52.0ms	(cbrt (+ x (/ (- x y) 2.0)))
45.0ms	(cbrt (+ x (/ (- x y) 2.0)))
53.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify649.0ms

Counts

68 → 68

Iterations

Useful iterations: 4 (224.0ms)

Iter	Nodes	Cost
0	68	1040
1	145	1004
2	314	936
3	767	908
4	2416	860
done	5000	860

prune234.0ms

Filtered

56 candidates to 68 candidates (-21.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	68	7	75

Merged error: 0.0b

Counts

75 → 7

regimes205.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7

end0.0ms

sample460.0ms

Algorithm

intervals

Results

165.0ms	7413×	body	80	valid
29.0ms	222×	body	1280	valid
12.0ms	99×	body	2560	valid
11.0ms	135×	body	640	valid
5.0ms	87×	body	320	valid
2.0ms	48×	body	160	valid

Details

sample17.0ms

simplify1.5min

prune2.0ms

localize5.0ms

rewrite9.0ms

series6.0ms

simplify718.0ms

prune46.0ms

localize5.0ms

rewrite4.0ms

series5.0ms

simplify731.0ms

prune30.0ms

localize9.0ms

rewrite52.0ms

series480.0ms

simplify624.0ms

prune223.0ms

localize21.0ms

rewrite38.0ms

series196.0ms

simplify649.0ms

prune234.0ms

regimes205.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample460.0ms

Profiling