Details

sample31.0ms

Algorithm

intervals

Results

19.0ms

354×

body

valid

simplify7.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
1300	1998
1299	1997
1298	1995
1297	1994
1296	1992
1295	1991
1294	1989
1293	1988
1292	1986
1291	1985
1290	1983
1289	1982
1288	1980
1287	1979
1286	1977
1285	1976
1284	1974
1283	1973
1282	1971
1281	1970
1280	1968
1279	1967
1278	1965
1277	1964
1276	1962
1275	1961
1274	1959
1273	1958
1272	1956
1271	1955
1270	1953
1269	1952
1268	1950
1267	1949
1266	1947
1265	1946
1264	1944
1263	1943
1262	1941
1261	1940
1260	1938
1259	1937
1258	1935
1257	1934
1256	1932
1255	1931
1254	1929
1253	1928
1252	1926
1251	1925
1250	1923
1249	1922
1248	1920
1247	1919
1246	1917
1245	1916
1244	1914
1243	1913
1242	1911
1241	1910
1240	1908
1239	1907
1238	1905
1237	1904
1236	1902
1235	1901
1234	1899
1233	1898
1232	1896
1231	1895
1230	1893
1229	1892
1228	1890
1227	1889
1226	1887
1225	1886
1224	1884
1223	1883
1222	1881
1221	1880
1220	1878
1219	1877
1218	1875
1217	1874
1216	1872
1215	1871
1214	1869
1213	1868
1212	1866
1211	1865
1210	1863
1209	1862
1208	1860
1207	1859
1206	1857
1205	1856
1204	1854
1203	1853
1202	1851
1201	1850
1200	1848
1199	1847
1198	1845
1197	1844
1196	1842
1195	1841
1194	1839
1193	1838
1192	1836
1191	1835
1190	1833
1189	1832
1188	1830
1187	1829
1186	1827
1185	1826
1184	1824
1183	1823
1182	1821
1181	1820
1180	1818
1179	1817
1178	1815
1177	1814
1176	1812
1175	1811
1174	1809
1173	1808
1172	1806
1171	1805
1170	1803
1169	1802
1168	1800
1167	1799
1166	1797
1165	1796
1164	1794
1163	1793
1162	1791
1161	1790
1160	1788
1159	1787
1158	1785
1157	1784
1156	1782
1155	1781
1154	1779
1153	1778
1152	1776
1151	1775
1150	1773
1149	1772
1148	1770
1147	1769
1146	1767
1145	1766
1144	1764
1143	1763
1142	1761
1141	1760
1140	1758
1139	1757
1138	1755
1137	1754
1136	1752
1135	1751
1134	1749
1133	1748
1132	1746
1131	1745
1130	1743
1129	1742
1128	1740
1127	1739
1126	1737
1125	1736
1124	1734
1123	1733
1122	1731
1121	1730
1120	1728
1119	1727
1118	1725
1117	1724
1116	1722
1115	1721
1114	1719
1113	1718
1112	1716
1111	1715
1110	1713
1109	1712
1108	1710
1107	1709
1106	1707
1105	1706
1104	1704
1103	1703
1102	1701
1101	1700
1100	1698
1099	1697
1098	1695
1097	1694
1096	1692
1095	1691
1094	1689
1093	1688
1092	1686
1091	1685
1090	1683
1089	1682
1088	1680
1087	1679
1086	1677
1085	1676
1084	1674
1083	1673
1082	1671
1081	1670
1080	1668
1079	1667
1078	1665
1077	1664
1076	1662
1075	1661
1074	1659
1073	1658
1072	1656
1071	1655
1070	1653
1069	1652
1068	1650
1067	1649
1066	1647
1065	1646
1064	1644
1063	1643
1062	1641
1061	1640
1060	1638
1059	1637
1058	1635
1057	1634
1056	1632
1055	1631
1054	1629
1053	1628
1052	1626
1051	1625
1050	1623
1049	1622
1048	1620
1047	1619
1046	1617
1045	1616
1044	1614
1043	1613
1042	1611
1041	1610
1040	1608
1039	1607
1038	1605
1037	1604
1036	1602
1035	1601
1034	1599
1033	1598
1032	1596
1031	1595
1030	1593
1029	1592
1028	1590
1027	1589
1026	1587
1025	1586
1024	1584
1023	1583
1022	1581
1021	1580
1020	1578
1019	1577
1018	1575
1017	1574
1016	1572
1015	1571
1014	1569
1013	1568
1012	1566
1011	1565
1010	1563
1009	1562
1008	1560
1007	1559
1006	1557
1005	1556
1004	1554
1003	1553
1002	1551
1001	1550
1000	1548
999	1547
998	1545
997	1544
996	1542
995	1541
994	1539
993	1538
992	1536
991	1535
990	1533
989	1532
988	1530
987	1529
986	1527
985	1526
984	1524
983	1523
982	1521
981	1520
980	1518
979	1517
978	1515
977	1514
976	1512
975	1511
974	1509
973	1508
972	1506
971	1505
970	1503
969	1502
968	1500
967	1499
966	1497
965	1496
964	1494
963	1493
962	1491
961	1490
960	1488
959	1487
958	1485
957	1484
956	1482
955	1481
954	1479
953	1478
952	1476
951	1475
950	1473
949	1472
948	1470
947	1469
946	1467
945	1466
944	1464
943	1463
942	1461
941	1460
940	1458
939	1457
938	1455
937	1454
936	1452
935	1451
934	1449
933	1448
932	1446
931	1445
930	1443
929	1442
928	1440
927	1439
926	1437
925	1436
924	1434
923	1433
922	1431
921	1430
920	1428
919	1427
918	1425
917	1424
916	1422
915	1421
914	1419
913	1418
912	1416
911	1415
910	1413
909	1412
908	1410
907	1409
906	1407
905	1406
904	1404
903	1403
902	1401
901	1400
900	1398
899	1397
898	1395
897	1394
896	1392
895	1391
894	1389
893	1388
892	1386
891	1385
890	1383
889	1382
888	1380
887	1379
886	1377
885	1376
884	1374
883	1373
882	1371
881	1370
880	1368
879	1367
878	1365
877	1364
876	1362
875	1361
874	1359
873	1358
872	1356
871	1355
870	1353
869	1352
868	1350
867	1349
866	1347
865	1346
864	1344
863	1343
862	1341
861	1340
860	1338
859	1337
858	1335
857	1334
856	1332
855	1331
854	1329
853	1328
852	1326
851	1325
850	1323
849	1322
848	1320
847	1319
846	1317
845	1316
844	1314
843	1313
842	1311
841	1310
840	1308
839	1307
838	1305
837	1304
836	1302
835	1301
834	1299
833	1298
832	1296
831	1295
830	1293
829	1292
828	1290
827	1289
826	1287
825	1286
824	1284
823	1283
822	1281
821	1280
820	1278
819	1277
818	1275
817	1274
816	1272
815	1271
814	1269
813	1268
812	1266
811	1265
810	1263
809	1262
808	1260
807	1259
806	1257
805	1256
804	1254
803	1253
802	1251
801	1250
800	1248
799	1247
798	1245
797	1244
796	1242
795	1241
794	1239
793	1238
792	1236
791	1235
790	1233
789	1232
788	1230
787	1229
786	1227
785	1226
784	1224
783	1223
782	1221
781	1220
780	1218
779	1217
778	1215
777	1214
776	1212
775	1211
774	1209
773	1208
772	1206
771	1205
770	1203
769	1202
768	1200
767	1199
766	1197
765	1196
764	1194
763	1193
762	1191
761	1190
760	1188
759	1187
758	1185
757	1184
756	1182
755	1181
754	1179
753	1178
752	1176
751	1175
750	1173
749	1172
748	1170
747	1169
746	1167
745	1166
744	1164
743	1163
742	1161
741	1160
740	1158
739	1157
738	1155
737	1154
736	1152
735	1151
734	1149
733	1148
732	1146
731	1145
730	1143
729	1142
728	1140
727	1139
726	1137
725	1136
724	1134
723	1133
722	1131
721	1130
720	1128
719	1127
718	1125
717	1124
716	1122
715	1121
714	1119
713	1118
712	1116
711	1115
710	1113
709	1112
708	1110
707	1109
706	1107
705	1106
704	1104
703	1103
702	1101
701	1100
700	1098
699	1097
698	1095
697	1094
696	1092
695	1091
694	1089
693	1088
692	1086
691	1085
690	1083
689	1082
688	1080
687	1079
686	1077
685	1076
684	1074
683	1073
682	1071
681	1070
680	1068
679	1067
678	1065
677	1064
676	1062
675	1061
674	1059
673	1058
672	1056
671	1055
670	1053
669	1052
668	1050
667	1049
666	1047
665	1046
664	1044
663	1043
662	1041
661	1040
660	1038
659	1037
658	1035
657	1034
656	1032
655	1031
654	1029
653	1028
652	1026
651	1025
650	1023
649	1022
648	1020
647	1019
646	1017
645	1016
644	1014
643	1013
642	1011
641	1010
640	1008
639	1007
638	1005
637	1004
636	1002
635	1001
634	999
633	998
632	996
631	995
630	993
629	992
628	990
627	989
626	987
625	986
624	984
623	983
622	981
621	980
620	978
619	977
618	975
617	974
616	972
615	971
614	969
613	968
612	966
611	965
610	963
609	962
608	960
607	959
606	957
605	956
604	954
603	953
602	951
601	950
600	948
599	947
598	945
597	944
596	942
595	941
594	939
593	938
592	936
591	935
590	933
589	932
588	930
587	929
586	927
585	926
584	924
583	923
582	921
581	920
580	918
579	917
578	915
577	914
576	912
575	911
574	909
573	908
572	906
571	905
570	903
569	902
568	900
567	899
566	897
565	896
564	894
563	893
562	891
561	890
560	888
559	887
558	885
557	884
556	882
555	881
554	879
553	878
552	876
551	875
550	873
549	872
548	870
547	869
546	867
545	866
544	864
543	863
542	861
541	860
540	858
539	857
538	855
537	854
536	852
535	851
534	849
533	848
532	846
531	845
530	843
529	842
528	840
527	839
526	837
525	836
524	834
523	833
522	831
521	830
520	828
519	827
518	825
517	824
516	822
515	821
514	819
513	818
512	816
511	815
510	813
509	812
508	810
507	809
506	807
505	806
504	804
503	803
502	801
501	800
500	798
499	797
498	795
497	794
496	792
495	791
494	789
493	788
492	786
491	785
490	783
489	782
488	780
487	779
486	777
485	776
484	774
483	773
482	771
481	770
480	768
479	767
478	765
477	764
476	762
475	761
474	759
473	758
472	756
471	755
470	753
469	752
468	750
467	749
466	747
465	746
464	744
463	743
462	741
461	740
460	738
459	737
458	735
457	734
456	732
455	731
454	729
453	728
452	726
451	725
450	723
449	722
448	720
447	719
446	717
445	716
444	714
443	713
442	711
441	710
440	708
439	707
438	705
437	704
436	702
435	701
434	699
433	698
432	696
431	695
430	693
429	692
428	690
427	689
426	687
425	686
424	684
423	683
422	681
421	680
420	678
419	677
418	675
417	674
416	672
415	671
414	669
413	668
412	666
411	665
410	663
409	662
408	660
407	659
406	657
405	656
404	654
403	653
402	651
401	650
400	648
399	647
398	645
397	644
396	642
395	641
394	639
393	638
392	636
391	635
390	633
389	632
388	630
387	629
386	627
385	626
384	624
383	623
382	621
381	620
380	618
379	617
378	615
377	614
376	612
375	611
374	609
373	608
372	606
371	605
370	603
369	602
368	600
367	599
366	597
365	596
364	594
363	593
362	591
361	590
360	588
359	587
358	585
357	584
356	582
355	581
354	579
353	578
352	576
351	575
350	573
349	572
348	570
347	569
346	567
345	566
344	564
343	563
342	561
341	560
340	558
339	557
338	555
337	554
336	552
335	551
334	549
333	548
332	546
331	545
330	543
329	542
328	540
327	539
326	537
325	536
324	534
323	533
322	531
321	530
320	528
319	527
318	525
317	524
316	522
315	521
314	519
313	518
312	516
311	515
310	513
309	512
308	510
307	509
306	507
305	506
304	504
303	503
302	501
301	500
300	498
299	497
298	495
297	494
296	492
295	491
294	489
293	488
292	486
291	485
290	483
289	482
288	480
287	479
286	477
285	476
284	474
283	473
282	471
281	470
280	468
279	467
278	465
277	464
276	462
275	461
274	459
273	458
272	456
271	455
270	453
269	452
268	450
267	449
266	447
265	446
264	444
263	443
262	441
261	440
260	438
259	437
258	435
257	434
256	432
255	431
254	429
253	428
252	426
251	425
250	423
249	422
248	420
247	419
246	417
245	416
244	414
243	413
242	411
241	410
240	408
239	407
238	405
237	404
236	402
235	401
234	399
233	398
232	396
231	395
230	393
229	392
228	390
227	389
226	387
225	386
224	384
223	383
222	381
221	380
220	378
219	377
218	375
217	374
216	372
215	371
214	369
213	368
212	366
211	365
210	363
209	362
208	360
207	359
206	357
205	356
204	354
203	353
202	351
201	350
200	348
199	347
198	345
197	344
196	342
195	341
194	339
193	338
192	336
191	335
190	333
189	332
188	330
187	329
186	327
185	326
184	324
183	323
182	321
181	320
180	318
179	317
178	315
177	314
176	312
175	311
174	309
173	308
172	306
171	305
170	303
169	302
168	300
167	299
166	297
165	296
164	294
163	293
162	291
161	290
160	288
159	287
158	285
157	284
156	282
155	281
154	279
153	278
152	276
151	275
150	273
149	272
148	270
147	269
146	267
145	266
144	264
143	263
142	261
141	260
140	258
139	257
138	255
137	254
136	252
135	251
134	249
133	248
132	246
131	245
130	243
129	242
128	240
127	239
126	237
125	236
124	234
123	233
122	231
121	230
120	228
119	227
118	225
117	224
116	222
115	221
114	219
113	218
112	216
111	215
110	213
109	212
108	210
107	209
106	207
105	206
104	204
103	203
102	201
101	200
100	198
99	197
98	195
97	194
96	192
95	191
94	189
93	188
92	186
91	185
90	183
89	182
88	180
87	179
86	177
85	176
84	174
83	173
82	171
81	170
80	168
79	167
78	165
77	164
76	162
75	161
74	159
73	158
72	156
71	155
70	153
69	152
68	150
67	149
66	147
65	146
64	144
63	143
62	141
61	140
60	138
59	137
58	135
57	134
56	132
55	131
54	129
53	128
52	126
51	125
50	123
49	122
48	120
47	119
46	117
45	116
44	114
43	113
42	111
41	110
40	108
39	107
38	105
37	104
36	102
35	101
34	99
33	98
32	96
31	95
30	93
29	92
28	90
27	89
26	87
25	86
24	84
23	83
22	81
21	80
20	78
19	77
18	75
17	74
16	72
15	71
14	69
13	68
12	66
11	65
10	63
9	62
8	60
7	59
6	57
5	56
4	53
3	41
2	20
1	12
0	8

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x y) z)
0.0b	(+ (* (+ (* x y) z) y) t)
0.1b	(* (+ (* x y) z) y)

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `add-log-exp`
5×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
3×	`flip3-+` `associate-r` `associate-l` `flip-+` `insert-posit16`
2×	`+-commutative` `sum-log` `associate-*l/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 45

Calls

3 calls:

6.0ms	(+ (* x y) z)
20.0ms	(+ (* (+ (* x y) z) y) t)
25.0ms	(* (+ (* x y) z) y)

series162.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(+ (* x y) z)
75.0ms	(+ (* (+ (* x y) z) y) t)
51.0ms	(* (+ (* x y) z) y)

simplify906.0ms

Counts

54 → 54

Iterations

Iter	Nodes
done	2003
2	649
1	214
0	83

prune249.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))
0.5b	(cbrt (+ (* x y) z))
0.5b	(cbrt (+ (* x y) z))
0.5b	(cbrt (+ (* x y) z))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`frac-times` `add-cbrt-cube` `insert-posit16` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 91

Calls

4 calls:

43.0ms	(* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))
11.0ms	(cbrt (+ (* x y) z))
7.0ms	(cbrt (+ (* x y) z))
9.0ms	(cbrt (+ (* x y) z))

series620.0ms

Counts

4 → 12

Calls

4 calls:

170.0ms	(* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))
174.0ms	(cbrt (+ (* x y) z))
129.0ms	(cbrt (+ (* x y) z))
147.0ms	(cbrt (+ (* x y) z))

simplify567.0ms

Counts

103 → 103

Iterations

Iter	Nodes
done	2000
2	744
1	290
0	117

prune582.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (cbrt (+ (* x y) z))) (cbrt (cbrt (+ (* x y) z))))
0.6b	(cbrt (cbrt (+ (* x y) z)))
0.6b	(cbrt (cbrt (+ (* x y) z)))
0.6b	(cbrt (cbrt (+ (* x y) z)))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

81×	`cbrt-prod`
40×	`add-sqr-sqrt`
36×	`cbrt-div`
22×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `associate-r` `associate-l` `flip-+` `unswap-sqr`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `insert-posit16` `add-log-exp`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 114

Calls

4 calls:

57.0ms	(* (cbrt (cbrt (+ (* x y) z))) (cbrt (cbrt (+ (* x y) z))))
5.0ms	(cbrt (cbrt (+ (* x y) z)))
4.0ms	(cbrt (cbrt (+ (* x y) z)))
7.0ms	(cbrt (cbrt (+ (* x y) z)))

series630.0ms

Counts

4 → 12

Calls

4 calls:

162.0ms	(* (cbrt (cbrt (+ (* x y) z))) (cbrt (cbrt (+ (* x y) z))))
163.0ms	(cbrt (cbrt (+ (* x y) z)))
149.0ms	(cbrt (cbrt (+ (* x y) z)))
156.0ms	(cbrt (cbrt (+ (* x y) z)))

simplify785.0ms

Counts

126 → 126

Iterations

Iter	Nodes
done	2000
2	826
1	316
0	143

prune969.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* x y) (* x y))
1.2b	(- (* (* x y) (* x y)) (* z z))
6.5b	(* (- (* (* x y) (* x y)) (* z z)) y)
15.9b	(/ (* (- (* (* x y) (* x y)) (* z z)) y) (- (* x y) z))

rewrite235.0ms

Algorithm

rewrite-expression-head

Rules

45×	`pow1`
23×	`add-cbrt-cube` `add-exp-log`
18×	`pow-prod-down`
10×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
8×	`*-un-lft-identity` `add-cube-cbrt`
6×	`add-log-exp`
5×	`associate-l`
4×	`flip3--` `associate-r` `associate-*l/` `pow-sqr` `pow-prod-up` `insert-posit16` `flip--`
3×	`associate-/r*` `times-frac`
2×	`cbrt-undiv` `pow-plus` `div-exp` `associate-/r/` `*-commutative` `difference-of-squares` `associate-/l/`
1×	`pow2` `clear-num` `sub-neg` `frac-2neg` `diff-log` `swap-sqr` `div-inv` `associate-/l*` `unswap-sqr`

Counts

4 → 97

Calls

4 calls:

23.0ms	(* (* x y) (* x y))
25.0ms	(- (* (* x y) (* x y)) (* z z))
120.0ms	(* (- (* (* x y) (* x y)) (* z z)) y)
66.0ms	(/ (* (- (* (* x y) (* x y)) (* z z)) y) (- (* x y) z))

series343.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(* (* x y) (* x y))
90.0ms	(- (* (* x y) (* x y)) (* z z))
100.0ms	(* (- (* (* x y) (* x y)) (* z z)) y)
96.0ms	(/ (* (- (* (* x y) (* x y)) (* z z)) y) (- (* x y) z))

simplify870.0ms

Counts

109 → 109

Iterations

Iter	Nodes
done	2000
2	1548
1	383
0	139

prune412.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes368.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	12
1	12
0	8

end0.0ms

sample1.3s

Algorithm

intervals

Results

880.0ms

11204×

body

valid