Details

sample15.0ms

Algorithm

intervals

Results

6.0ms

256×

body

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	28	7
4	38	7
5	49	7
6	62	7
7	82	7
8	105	7
9	143	7
10	178	7
11	185	7
12	192	7
13	197	7
14	201	7
15	205	7
16	209	7
17	213	7
18	217	7
19	221	7
20	225	7
21	229	7
22	233	7
23	237	7
24	241	7
25	245	7
26	249	7
27	253	7
28	257	7
29	261	7
30	265	7
31	269	7
32	273	7
33	277	7
34	281	7
35	285	7
36	289	7
37	293	7
38	297	7
39	301	7
40	305	7
41	309	7
42	313	7
43	317	7
44	321	7
45	325	7
46	329	7
47	333	7
48	337	7
49	341	7
50	345	7
51	349	7
52	353	7
53	357	7
54	361	7
55	365	7
56	369	7
57	373	7
58	377	7
59	381	7
60	385	7
61	389	7
62	393	7
63	397	7
64	401	7
65	405	7
66	409	7
67	413	7
68	417	7
69	421	7
70	425	7
71	429	7
72	433	7
73	437	7
74	441	7
75	445	7
76	449	7
77	453	7
78	457	7
79	461	7
80	465	7
81	469	7
82	473	7
83	477	7
84	481	7
85	485	7
86	489	7
87	493	7
88	497	7
89	501	7
90	505	7
91	509	7
92	513	7
93	517	7
94	521	7
95	525	7
96	529	7
97	533	7
98	537	7
99	541	7
100	545	7
101	549	7
102	553	7
103	557	7
104	561	7
105	565	7
106	569	7
107	573	7
108	577	7
109	581	7
110	585	7
111	589	7
112	593	7
113	597	7
114	601	7
115	605	7
116	609	7
117	613	7
118	617	7
119	621	7
120	625	7
121	629	7
122	633	7
123	637	7
124	641	7
125	645	7
126	649	7
127	653	7
128	657	7
129	661	7
130	665	7
131	669	7
132	673	7
133	677	7
134	681	7
135	685	7
136	689	7
137	693	7
138	697	7
139	701	7
140	705	7
141	709	7
142	713	7
143	717	7
144	721	7
145	725	7
146	729	7
147	733	7
148	737	7
149	741	7
150	745	7
151	749	7
152	753	7
153	757	7
154	761	7
155	765	7
156	769	7
157	773	7
158	777	7
159	781	7
160	785	7
161	789	7
162	793	7
163	797	7
164	801	7
165	805	7
166	809	7
167	813	7
168	817	7
169	821	7
170	825	7
171	829	7
172	833	7
173	837	7
174	841	7
175	845	7
176	849	7
177	853	7
178	857	7
179	861	7
180	865	7
181	869	7
182	873	7
183	877	7
184	881	7
185	885	7
186	889	7
187	893	7
188	897	7
189	901	7
190	905	7
191	909	7
192	913	7
193	917	7
194	921	7
195	925	7
196	929	7
197	933	7
198	937	7
199	941	7
200	945	7
201	949	7
202	953	7
203	957	7
204	961	7
205	965	7
206	969	7
207	973	7
208	977	7
209	981	7
210	985	7
211	989	7
212	993	7
213	997	7
214	1001	7
215	1005	7
216	1009	7
217	1013	7
218	1017	7
219	1021	7
220	1025	7
221	1029	7
222	1033	7
223	1037	7
224	1041	7
225	1045	7
226	1049	7
227	1053	7
228	1057	7
229	1061	7
230	1065	7
231	1069	7
232	1073	7
233	1077	7
234	1081	7
235	1085	7
236	1089	7
237	1093	7
238	1097	7
239	1101	7
240	1105	7
241	1109	7
242	1113	7
243	1117	7
244	1121	7
245	1125	7
246	1129	7
247	1133	7
248	1137	7
249	1141	7
250	1145	7
251	1149	7
252	1153	7
253	1157	7
254	1161	7
255	1165	7
256	1169	7
257	1173	7
258	1177	7
259	1181	7
260	1185	7
261	1189	7
262	1193	7
263	1197	7
264	1201	7
265	1205	7
266	1209	7
267	1213	7
268	1217	7
269	1221	7
270	1225	7
271	1229	7
272	1233	7
273	1237	7
274	1241	7
275	1245	7
276	1249	7
277	1253	7
278	1257	7
279	1261	7
280	1265	7
281	1269	7
282	1273	7
283	1277	7
284	1281	7
285	1285	7
286	1289	7
287	1293	7
288	1297	7
289	1301	7
290	1305	7
291	1309	7
292	1313	7
293	1317	7
294	1321	7
295	1325	7
296	1329	7
297	1333	7
298	1337	7
299	1341	7
300	1345	7
301	1349	7
302	1353	7
303	1357	7
304	1361	7
305	1365	7
306	1369	7
307	1373	7
308	1377	7
309	1381	7
310	1385	7
311	1389	7
312	1393	7
313	1397	7
314	1401	7
315	1405	7
316	1409	7
317	1413	7
318	1417	7
319	1421	7
320	1425	7
321	1429	7
322	1433	7
323	1437	7
324	1441	7
325	1445	7
326	1449	7
327	1453	7
328	1457	7
329	1461	7
330	1465	7
331	1469	7
332	1473	7
333	1477	7
334	1481	7
335	1485	7
336	1489	7
337	1493	7
338	1497	7
339	1501	7
340	1505	7
341	1509	7
342	1513	7
343	1517	7
344	1521	7
345	1525	7
346	1529	7
347	1533	7
348	1537	7
349	1541	7
350	1545	7
351	1549	7
352	1553	7
353	1557	7
354	1561	7
355	1565	7
356	1569	7
357	1573	7
358	1577	7
359	1581	7
360	1585	7
361	1589	7
362	1593	7
363	1597	7
364	1601	7
365	1605	7
366	1609	7
367	1613	7
368	1617	7
369	1621	7
370	1625	7
371	1629	7
372	1633	7
373	1637	7
374	1641	7
375	1645	7
376	1649	7
377	1653	7
378	1657	7
379	1661	7
380	1665	7
381	1669	7
382	1673	7
383	1677	7
384	1681	7
385	1685	7
386	1689	7
387	1693	7
388	1697	7
389	1701	7
390	1705	7
391	1709	7
392	1713	7
393	1717	7
394	1721	7
395	1725	7
396	1729	7
397	1733	7
398	1737	7
399	1741	7
400	1745	7
401	1749	7
402	1753	7
403	1757	7
404	1761	7
405	1765	7
406	1769	7
407	1773	7
408	1777	7
409	1781	7
410	1785	7
411	1789	7
412	1793	7
413	1797	7
414	1801	7
415	1805	7
416	1809	7
417	1813	7
418	1817	7
419	1821	7
420	1825	7
421	1829	7
422	1833	7
423	1837	7
424	1841	7
425	1845	7
426	1849	7
427	1853	7
428	1857	7
429	1861	7
430	1865	7
431	1869	7
432	1873	7
433	1877	7
434	1881	7
435	1885	7
436	1889	7
437	1893	7
438	1897	7
439	1901	7
440	1905	7
441	1909	7
442	1913	7
443	1917	7
444	1921	7
445	1925	7
446	1929	7
447	1933	7
448	1937	7
449	1941	7
450	1945	7
451	1949	7
452	1953	7
453	1957	7
454	1961	7
455	1965	7
456	1969	7
457	1973	7
458	1977	7
459	1981	7
460	1985	7
461	1989	7
462	1993	7
463	1997	7
464	2001	7
465	2005	7
466	2009	7
467	2013	7
468	2017	7
469	2021	7
470	2025	7
471	2029	7
472	2033	7
473	2037	7
474	2041	7
475	2045	7
476	2049	7
477	2053	7
478	2057	7
479	2061	7
480	2065	7
481	2069	7
482	2073	7
483	2077	7
484	2081	7
485	2085	7
486	2089	7
487	2093	7
488	2097	7
489	2101	7
490	2105	7
491	2109	7
492	2113	7
493	2117	7
494	2121	7
495	2125	7
496	2129	7
497	2133	7
498	2137	7
499	2141	7
500	2145	7
501	2149	7
502	2153	7
503	2157	7
504	2161	7
505	2165	7
506	2169	7
507	2173	7
508	2177	7
509	2181	7
510	2185	7
511	2189	7
512	2193	7
513	2197	7
514	2201	7
515	2205	7
516	2209	7
517	2213	7
518	2217	7
519	2221	7
520	2225	7
521	2229	7
522	2233	7
523	2237	7
524	2241	7
525	2245	7
526	2249	7
527	2253	7
528	2257	7
529	2261	7
530	2265	7
531	2269	7
532	2273	7
533	2277	7
534	2281	7
535	2285	7
536	2289	7
537	2293	7
538	2297	7
539	2301	7
540	2305	7
541	2309	7
542	2313	7
543	2317	7
544	2321	7
545	2325	7
546	2329	7
547	2333	7
548	2337	7
549	2341	7
550	2345	7
551	2349	7
552	2353	7
553	2357	7
554	2361	7
555	2365	7
556	2369	7
557	2373	7
558	2377	7
559	2381	7
560	2385	7
561	2389	7
562	2393	7
563	2397	7
564	2401	7
565	2405	7
566	2409	7
567	2413	7
568	2417	7
569	2421	7
570	2425	7
571	2429	7
572	2433	7
573	2437	7
574	2441	7
575	2445	7
576	2449	7
577	2453	7
578	2457	7
579	2461	7
580	2465	7
581	2469	7
582	2473	7
583	2477	7
584	2481	7
585	2485	7
586	2489	7
587	2493	7
588	2497	7
589	2501	7
590	2505	7
591	2509	7
592	2513	7
593	2517	7
594	2521	7
595	2525	7
596	2529	7
597	2533	7
598	2537	7
599	2541	7
600	2545	7
601	2549	7
602	2553	7
603	2557	7
604	2561	7
605	2565	7
606	2569	7
607	2573	7
608	2577	7
609	2581	7
610	2585	7
611	2589	7
612	2593	7
613	2597	7
614	2601	7
615	2605	7
616	2609	7
617	2613	7
618	2617	7
619	2621	7
620	2625	7
621	2629	7
622	2633	7
623	2637	7
624	2641	7
625	2645	7
626	2649	7
627	2653	7
628	2657	7
629	2661	7
630	2665	7
631	2669	7
632	2673	7
633	2677	7
634	2681	7
635	2685	7
636	2689	7
637	2693	7
638	2697	7
639	2701	7
640	2705	7
641	2709	7
642	2713	7
643	2717	7
644	2721	7
645	2725	7
646	2729	7
647	2733	7
648	2737	7
649	2741	7
650	2745	7
651	2749	7
652	2753	7
653	2757	7
654	2761	7
655	2765	7
656	2769	7
657	2773	7
658	2777	7
659	2781	7
660	2785	7
661	2789	7
662	2793	7
663	2797	7
664	2801	7
665	2805	7
666	2809	7
667	2813	7
668	2817	7
669	2821	7
670	2825	7
671	2829	7
672	2833	7
673	2837	7
674	2841	7
675	2845	7
676	2849	7
677	2853	7
678	2857	7
679	2861	7
680	2865	7
681	2869	7
682	2873	7
683	2877	7
684	2881	7
685	2885	7
686	2889	7
687	2893	7
688	2897	7
689	2901	7
690	2905	7
691	2909	7
692	2913	7
693	2917	7
694	2921	7
695	2925	7
696	2929	7
697	2933	7
698	2937	7
699	2941	7
700	2945	7
701	2949	7
702	2953	7
703	2957	7
704	2961	7
705	2965	7
706	2969	7
707	2973	7
708	2977	7
709	2981	7
710	2985	7
711	2989	7
712	2993	7
713	2997	7
714	3001	7
715	3005	7
716	3009	7
717	3013	7
718	3017	7
719	3021	7
720	3025	7
721	3029	7
722	3033	7
723	3037	7
724	3041	7
725	3045	7
726	3049	7
727	3053	7
728	3057	7
729	3061	7
730	3065	7
731	3069	7
732	3073	7
733	3077	7
734	3081	7
735	3085	7
736	3089	7
737	3093	7
738	3097	7
739	3101	7
740	3105	7
741	3109	7
742	3113	7
743	3117	7
744	3121	7
745	3125	7
746	3129	7
747	3133	7
748	3137	7
749	3141	7
750	3145	7
751	3149	7
752	3153	7
753	3157	7
754	3161	7
755	3165	7
756	3169	7
757	3173	7
758	3177	7
759	3181	7
760	3185	7
761	3189	7
762	3193	7
763	3197	7
764	3201	7
765	3205	7
766	3209	7
767	3213	7
768	3217	7
769	3221	7
770	3225	7
771	3229	7
772	3233	7
773	3237	7
774	3241	7
775	3245	7
776	3249	7
777	3253	7
778	3257	7
779	3261	7
780	3265	7
781	3269	7
782	3273	7
783	3277	7
784	3281	7
785	3285	7
786	3289	7
787	3293	7
788	3297	7
789	3301	7
790	3305	7
791	3309	7
792	3313	7
793	3317	7
794	3321	7
795	3325	7
796	3329	7
797	3333	7
798	3337	7
799	3341	7
800	3345	7
801	3349	7
802	3353	7
803	3357	7
804	3361	7
805	3365	7
806	3369	7
807	3373	7
808	3377	7
809	3381	7
810	3385	7
811	3389	7
812	3393	7
813	3397	7
814	3401	7
815	3405	7
816	3409	7
817	3413	7
818	3417	7
819	3421	7
820	3425	7
821	3429	7
822	3433	7
823	3437	7
824	3441	7
825	3445	7
826	3449	7
827	3453	7
828	3457	7
829	3461	7
830	3465	7
831	3469	7
832	3473	7
833	3477	7
834	3481	7
835	3485	7
836	3489	7
837	3493	7
838	3497	7
839	3501	7
840	3505	7
841	3509	7
842	3513	7
843	3517	7
844	3521	7
845	3525	7
846	3529	7
847	3533	7
848	3537	7
849	3541	7
850	3545	7
851	3549	7
852	3553	7
853	3557	7
854	3561	7
855	3565	7
856	3569	7
857	3573	7
858	3577	7
859	3581	7
860	3585	7
861	3589	7
862	3593	7
863	3597	7
864	3601	7
865	3605	7
866	3609	7
867	3613	7
868	3617	7
869	3621	7
870	3625	7
871	3629	7
872	3633	7
873	3637	7
874	3641	7
875	3645	7
876	3649	7
877	3653	7
878	3657	7
879	3661	7
880	3665	7
881	3669	7
882	3673	7
883	3677	7
884	3681	7
885	3685	7
886	3689	7
887	3693	7
888	3697	7
889	3701	7
890	3705	7
891	3709	7
892	3713	7
893	3717	7
894	3721	7
895	3725	7
896	3729	7
897	3733	7
898	3737	7
899	3741	7
900	3745	7
901	3749	7
902	3753	7
903	3757	7
904	3761	7
905	3765	7
906	3769	7
907	3773	7
908	3777	7
909	3781	7
910	3785	7
911	3789	7
912	3793	7
913	3797	7
914	3801	7
915	3805	7
916	3809	7
917	3813	7
918	3817	7
919	3821	7
920	3825	7
921	3829	7
922	3833	7
923	3837	7
924	3841	7
925	3845	7
926	3849	7
927	3853	7
928	3857	7
929	3861	7
930	3865	7
931	3869	7
932	3873	7
933	3877	7
934	3881	7
935	3885	7
936	3889	7
937	3893	7
938	3897	7
939	3901	7
940	3905	7
941	3909	7
942	3913	7
943	3917	7
944	3921	7
945	3925	7
946	3929	7
947	3933	7
948	3937	7
949	3941	7
950	3945	7
951	3949	7
952	3953	7
953	3957	7
954	3961	7
955	3965	7
956	3969	7
957	3973	7
958	3977	7
959	3981	7
960	3985	7
961	3989	7
962	3993	7
963	3997	7
964	4001	7
965	4005	7
966	4009	7
967	4013	7
968	4017	7
969	4021	7
970	4025	7
971	4029	7
972	4033	7
973	4037	7
974	4041	7
975	4045	7
976	4049	7
977	4053	7
978	4057	7
979	4061	7
980	4065	7
981	4069	7
982	4073	7
983	4077	7
984	4081	7
985	4085	7
986	4089	7
987	4093	7
988	4097	7
989	4101	7
990	4105	7
991	4109	7
992	4113	7
993	4117	7
994	4121	7
995	4125	7
996	4129	7
997	4133	7
998	4137	7
999	4141	7
1000	4145	7
1001	4149	7
1002	4153	7
1003	4157	7
1004	4161	7
1005	4165	7
1006	4169	7
1007	4173	7
1008	4177	7
1009	4181	7
1010	4185	7
1011	4189	7
1012	4193	7
1013	4197	7
1014	4201	7
1015	4205	7
1016	4209	7
1017	4213	7
1018	4217	7
1019	4221	7
1020	4225	7
1021	4229	7
1022	4233	7
1023	4237	7
1024	4241	7
1025	4245	7
1026	4249	7
1027	4253	7
1028	4257	7
1029	4261	7
1030	4265	7
1031	4269	7
1032	4273	7
1033	4277	7
1034	4281	7
1035	4285	7
1036	4289	7
1037	4293	7
1038	4297	7
1039	4301	7
1040	4305	7
1041	4309	7
1042	4313	7
1043	4317	7
1044	4321	7
1045	4325	7
1046	4329	7
1047	4333	7
1048	4337	7
1049	4341	7
1050	4345	7
1051	4349	7
1052	4353	7
1053	4357	7
1054	4361	7
1055	4365	7
1056	4369	7
1057	4373	7
1058	4377	7
1059	4381	7
1060	4385	7
1061	4389	7
1062	4393	7
1063	4397	7
1064	4401	7
1065	4405	7
1066	4409	7
1067	4413	7
1068	4417	7
1069	4421	7
1070	4425	7
1071	4429	7
1072	4433	7
1073	4437	7
1074	4441	7
1075	4445	7
1076	4449	7
1077	4453	7
1078	4457	7
1079	4461	7
1080	4465	7
1081	4469	7
1082	4473	7
1083	4477	7
1084	4481	7
1085	4485	7
1086	4489	7
1087	4493	7
1088	4497	7
1089	4501	7
1090	4505	7
1091	4509	7
1092	4513	7
1093	4517	7
1094	4521	7
1095	4525	7
1096	4529	7
1097	4533	7
1098	4537	7
1099	4541	7
1100	4545	7
1101	4549	7
1102	4553	7
1103	4557	7
1104	4561	7
1105	4565	7
1106	4569	7
1107	4573	7
1108	4577	7
1109	4581	7
1110	4585	7
1111	4589	7
1112	4593	7
1113	4597	7
1114	4601	7
1115	4605	7
1116	4609	7
1117	4613	7
1118	4617	7
1119	4621	7
1120	4625	7
1121	4629	7
1122	4633	7
1123	4637	7
1124	4641	7
1125	4645	7
1126	4649	7
1127	4653	7
1128	4657	7
1129	4661	7
1130	4665	7
1131	4669	7
1132	4673	7
1133	4677	7
1134	4681	7
1135	4685	7
1136	4689	7
1137	4693	7
1138	4697	7
1139	4701	7
1140	4705	7
1141	4709	7
1142	4713	7
1143	4717	7
1144	4721	7
1145	4725	7
1146	4729	7
1147	4733	7
1148	4737	7
1149	4741	7
1150	4745	7
1151	4749	7
1152	4753	7
1153	4757	7
1154	4761	7
1155	4765	7
1156	4769	7
1157	4773	7
1158	4777	7
1159	4781	7
1160	4785	7
1161	4789	7
1162	4793	7
1163	4797	7
1164	4801	7
1165	4805	7
1166	4809	7
1167	4813	7
1168	4817	7
1169	4821	7
1170	4825	7
1171	4829	7
1172	4833	7
1173	4837	7
1174	4841	7
1175	4845	7
1176	4849	7
1177	4853	7
1178	4857	7
1179	4861	7
1180	4865	7
1181	4869	7
1182	4873	7
1183	4877	7
1184	4881	7
1185	4885	7
1186	4889	7
1187	4893	7
1188	4897	7
1189	4901	7
1190	4905	7
1191	4909	7
1192	4913	7
1193	4917	7
1194	4921	7
1195	4925	7
1196	4929	7
1197	4933	7
1198	4937	7
1199	4941	7
1200	4945	7
1201	4949	7
1202	4953	7
1203	4957	7
1204	4961	7
1205	4965	7
1206	4969	7
1207	4973	7
1208	4977	7
1209	4981	7
1210	4985	7
1211	4989	7
1212	4993	7
1213	4997	7
done	5001	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.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- y x) 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 (/ (- y x) 2.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

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

simplify753.0ms

Counts

16 → 16

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	33	178
1	92	165
2	217	151
3	627	151
4	2558	151
done	5000	151

prune22.0ms

Filtered

13 candidates to 16 candidates (-23.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	16	1	17

Merged error: 0b

Counts

17 → 1

localize13.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify1.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Merged error: 0b

Counts

1 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
done	7	5

end0.0ms

sample419.0ms

Algorithm

intervals

Results

193.0ms

8000×

body

valid

Details

sample15.0ms

simplify1.5min

prune2.0ms

localize5.0ms

rewrite9.0ms

series6.0ms

simplify753.0ms

prune22.0ms

localize13.0ms

rewrite0.0ms

series0.0ms

simplify1.0ms

prune2.0ms

simplify1.0ms

end0.0ms

sample419.0ms

Profiling