Details

sample59.0ms

Algorithm

intervals

Results

8.0ms	170×	body	80	valid
7.0ms	97×	body	80	nan
7.0ms	38×	body	640	valid
6.0ms	26×	body	1280	valid
4.0ms	22×	body	1280	nan
4.0ms	26×	body	640	nan
2.0ms	16×	body	320	nan
2.0ms	13×	body	320	valid
1.0ms	12×	body	160	nan
1.0ms	9×	body	160	valid

simplify1.7min

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- x y) (- 1.0 y))
3.2b	(- 1.0 (/ (- x y) (- 1.0 y)))
4.4b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
27×	`times-frac`
16×	`add-cube-cbrt` `difference-of-squares`
14×	`distribute-lft-out--`
6×	`add-exp-log` `log-prod`
5×	`associate-/r` `add-cbrt-cube` `associate-/l` `add-log-exp`
4×	`pow1` `flip3--` `flip--`
2×	`log-div` `div-sub` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `clear-num` `log-pow` `div-inv` `associate--r-`

Counts

3 → 85

Calls

3 calls:

9.0ms	(/ (- x y) (- 1.0 y))
15.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
25.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series31.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ (- x y) (- 1.0 y))
10.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify716.0ms

Counts

94 → 94

Iterations

Useful iterations: done (713.0ms)

Iter	Nodes	Cost
0	173	1423
1	407	1355
2	1069	1266
3	2958	1266
done	5001	1262

prune193.0ms

Filtered

69 candidates to 94 candidates (-36.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	89	5	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	5	95

Merged error: 0.2b

Counts

95 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- 1.0 y))
0.1b	(* (- x y) (/ 1 (- 1.0 y)))
4.4b	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
6.6b	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
32×	`times-frac`
25×	`add-cube-cbrt`
21×	`associate-r`
18×	`add-exp-log`
11×	`add-cbrt-cube`
8×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`flip3--` `flip--` `add-log-exp`
5×	`associate-l` `associate-/r*`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`log-prod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `log-div` `rec-exp` `1-exp` `associate-*l/` `cbrt-unprod` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `diff-log` `associate-r/` `rem-log-exp` `pow-prod-down` `clear-num` `log-pow` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 117

Calls

4 calls:

7.0ms	(/ 1 (- 1.0 y))
15.0ms	(* (- x y) (/ 1 (- 1.0 y)))
3.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
4.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series39.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(/ 1 (- 1.0 y))
13.0ms	(* (- x y) (/ 1 (- 1.0 y)))
14.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
10.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify586.0ms

Counts

129 → 129

Iterations

Useful iterations: done (583.0ms)

Iter	Nodes	Cost
0	208	1760
1	494	1485
2	1759	1289
done	5001	1279

prune182.0ms

Filtered

84 candidates to 129 candidates (-53.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	129	5	134

Merged error: 0.2b

Counts

134 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (/ (- x y) (- 1.0 y)) 3)
3.1b	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
4.4b	(log (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
9.8b	(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0)))

rewrite274.0ms

Algorithm

rewrite-expression-head

Rules

510×	`add-sqr-sqrt`
312×	`times-frac`
222×	`*-un-lft-identity`
212×	`difference-of-squares`
175×	`unpow-prod-down` `cube-prod`
105×	`log-prod`
102×	`add-cube-cbrt`
81×	`sqr-pow`
60×	`distribute-lft-out--`
33×	`associate-/l*`
12×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`difference-cubes` `associate-/r/`
6×	`pow1` `add-log-exp`
4×	`flip3--` `flip--` `div-inv`
3×	`pow-unpow` `div-exp` `associate-/r*`
2×	`cbrt-undiv` `flip3-+` `rem-log-exp` `pow-exp` `flip-+` `associate-/l/` `rem-cube-cbrt`
1×	`cube-div` `cube-mult` `pow-to-exp` `sub-neg` `log-div` `pow-pow` `frac-2neg` `diff-log` `unpow3` `div-sub` `clear-num` `log-pow`

Counts

4 → 392

Calls

4 calls:

12.0ms	(pow (/ (- x y) (- 1.0 y)) 3)
54.0ms	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
86.0ms	(log (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
85.0ms	(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0)))

series276.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(pow (/ (- x y) (- 1.0 y)) 3)
63.0ms	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
106.0ms	(log (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
89.0ms	(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0)))

simplify1.0s

Counts

404 → 404

Iterations

Useful iterations: done (973.0ms)

Iter	Nodes	Cost
0	500	21071
1	1374	20349
2	4202	19928
done	5000	19926

prune1.2s

Filtered

205 candidates to 404 candidates (-97.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	398	6	404
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	400	9	409

Merged error: 0.2b

Counts

409 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y)))
3.1b	(- (pow 1.0 3) (* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y))))
4.4b	(log (/ (- (pow 1.0 3) (* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y)))) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
9.8b	(/ (- (pow 1.0 3) (* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y)))) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0)))

rewrite187.0ms

Algorithm

rewrite-expression-head

Rules

107×	`add-sqr-sqrt`
84×	`*-un-lft-identity`
81×	`times-frac`
44×	`add-cube-cbrt`
36×	`associate-l`
35×	`unpow-prod-down`
31×	`associate-r`
29×	`add-exp-log`
20×	`distribute-lft-out--` `difference-of-squares`
18×	`log-prod`
12×	`unpow2`
11×	`add-cbrt-cube`
10×	`unswap-sqr`
9×	`pow3`
8×	`difference-cubes` `div-exp` `prod-exp` `associate-/r/`
6×	`pow1` `add-log-exp`
4×	`flip3--` `pow-exp` `flip--` `div-inv` `associate-/l*`
3×	`associate-/r*` `sqr-pow`
2×	`cbrt-undiv` `pow-to-exp` `flip3-+` `rem-log-exp` `cbrt-unprod` `flip-+` `associate-/l/`
1×	`sub-neg` `log-div` `frac-2neg` `pow-plus` `diff-log` `div-sub` `associate-r/` `clear-num` `log-pow` `-commutative` `pow-prod-up`

Counts

4 → 177

Calls

4 calls:

48.0ms	(* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y)))
24.0ms	(- (pow 1.0 3) (* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y))))
56.0ms	(log (/ (- (pow 1.0 3) (* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y)))) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
50.0ms	(/ (- (pow 1.0 3) (* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y)))) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0)))

series247.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y)))
56.0ms	(- (pow 1.0 3) (* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y))))
91.0ms	(log (/ (- (pow 1.0 3) (* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y)))) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
79.0ms	(/ (- (pow 1.0 3) (* (pow (/ (- x y) (- 1.0 y)) 2) (/ (- x y) (- 1.0 y)))) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0)))

simplify988.0ms

Counts

189 → 189

Iterations

Useful iterations: done (979.0ms)

Iter	Nodes	Cost
0	359	7324
1	1012	6032
2	4161	5557
done	5000	5509

prune608.0ms

Filtered

139 candidates to 189 candidates (-36.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	189	9	198

Merged error: 0.2b

Counts

198 → 9

regimes336.0ms

Accuracy

99.6% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 18.4b

bsearch84.0ms

Steps

Iters	Range		Point
11	14848.343200454	6.43616546702885e+37	17432142.236941274
8	-6366268205916247.0	-8645744266892.621	-8726900086500.019

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	27	58
1	35	41
done	35	41

end0.0ms

sample1.6s

Algorithm

intervals

Results

280.0ms	5624×	body	80	valid
221.0ms	837×	body	1280	valid
153.0ms	819×	body	640	valid
152.0ms	763×	body	1280	nan
114.0ms	754×	body	640	nan
103.0ms	2723×	body	80	nan
61.0ms	460×	body	320	valid
58.0ms	451×	body	320	nan
29.0ms	260×	body	160	valid
18.0ms	242×	body	160	nan

Details

sample59.0ms

simplify1.7min

prune3.0ms

localize8.0ms

rewrite52.0ms

series31.0ms

simplify716.0ms

prune193.0ms

localize10.0ms

rewrite32.0ms

series39.0ms

simplify586.0ms

prune182.0ms

localize17.0ms

rewrite274.0ms

series276.0ms

simplify1.0s

prune1.2s

localize19.0ms

rewrite187.0ms

series247.0ms

simplify988.0ms

prune608.0ms

regimes336.0ms

bsearch84.0ms

simplify3.0ms

end0.0ms

sample1.6s

Profiling