Details

sample42.0ms

Algorithm

intervals

Results

23.0ms	314×	body	80	valid
1.0ms	3×	body	1280	valid
1.0ms	3×	body	320	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

simplify8.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	2001
1309	1999
1308	1998
1307	1996
1306	1995
1305	1993
1304	1992
1303	1990
1302	1989
1301	1987
1300	1986
1299	1984
1298	1983
1297	1981
1296	1980
1295	1978
1294	1977
1293	1975
1292	1974
1291	1972
1290	1971
1289	1969
1288	1968
1287	1966
1286	1965
1285	1963
1284	1962
1283	1960
1282	1959
1281	1957
1280	1956
1279	1954
1278	1953
1277	1951
1276	1950
1275	1948
1274	1947
1273	1945
1272	1944
1271	1942
1270	1941
1269	1939
1268	1938
1267	1936
1266	1935
1265	1933
1264	1932
1263	1930
1262	1929
1261	1927
1260	1926
1259	1924
1258	1923
1257	1921
1256	1920
1255	1918
1254	1917
1253	1915
1252	1914
1251	1912
1250	1911
1249	1909
1248	1908
1247	1906
1246	1905
1245	1903
1244	1902
1243	1900
1242	1899
1241	1897
1240	1896
1239	1894
1238	1893
1237	1891
1236	1890
1235	1888
1234	1887
1233	1885
1232	1884
1231	1882
1230	1881
1229	1879
1228	1878
1227	1876
1226	1875
1225	1873
1224	1872
1223	1870
1222	1869
1221	1867
1220	1866
1219	1864
1218	1863
1217	1861
1216	1860
1215	1858
1214	1857
1213	1855
1212	1854
1211	1852
1210	1851
1209	1849
1208	1848
1207	1846
1206	1845
1205	1843
1204	1842
1203	1840
1202	1839
1201	1837
1200	1836
1199	1834
1198	1833
1197	1831
1196	1830
1195	1828
1194	1827
1193	1825
1192	1824
1191	1822
1190	1821
1189	1819
1188	1818
1187	1816
1186	1815
1185	1813
1184	1812
1183	1810
1182	1809
1181	1807
1180	1806
1179	1804
1178	1803
1177	1801
1176	1800
1175	1798
1174	1797
1173	1795
1172	1794
1171	1792
1170	1791
1169	1789
1168	1788
1167	1786
1166	1785
1165	1783
1164	1782
1163	1780
1162	1779
1161	1777
1160	1776
1159	1774
1158	1773
1157	1771
1156	1770
1155	1768
1154	1767
1153	1765
1152	1764
1151	1762
1150	1761
1149	1759
1148	1758
1147	1756
1146	1755
1145	1753
1144	1752
1143	1750
1142	1749
1141	1747
1140	1746
1139	1744
1138	1743
1137	1741
1136	1740
1135	1738
1134	1737
1133	1735
1132	1734
1131	1732
1130	1731
1129	1729
1128	1728
1127	1726
1126	1725
1125	1723
1124	1722
1123	1720
1122	1719
1121	1717
1120	1716
1119	1714
1118	1713
1117	1711
1116	1710
1115	1708
1114	1707
1113	1705
1112	1704
1111	1702
1110	1701
1109	1699
1108	1698
1107	1696
1106	1695
1105	1693
1104	1692
1103	1690
1102	1689
1101	1687
1100	1686
1099	1684
1098	1683
1097	1681
1096	1680
1095	1678
1094	1677
1093	1675
1092	1674
1091	1672
1090	1671
1089	1669
1088	1668
1087	1666
1086	1665
1085	1663
1084	1662
1083	1660
1082	1659
1081	1657
1080	1656
1079	1654
1078	1653
1077	1651
1076	1650
1075	1648
1074	1647
1073	1645
1072	1644
1071	1642
1070	1641
1069	1639
1068	1638
1067	1636
1066	1635
1065	1633
1064	1632
1063	1630
1062	1629
1061	1627
1060	1626
1059	1624
1058	1623
1057	1621
1056	1620
1055	1618
1054	1617
1053	1615
1052	1614
1051	1612
1050	1611
1049	1609
1048	1608
1047	1606
1046	1605
1045	1603
1044	1602
1043	1600
1042	1599
1041	1597
1040	1596
1039	1594
1038	1593
1037	1591
1036	1590
1035	1588
1034	1587
1033	1585
1032	1584
1031	1582
1030	1581
1029	1579
1028	1578
1027	1576
1026	1575
1025	1573
1024	1572
1023	1570
1022	1569
1021	1567
1020	1566
1019	1564
1018	1563
1017	1561
1016	1560
1015	1558
1014	1557
1013	1555
1012	1554
1011	1552
1010	1551
1009	1549
1008	1548
1007	1546
1006	1545
1005	1543
1004	1542
1003	1540
1002	1539
1001	1537
1000	1536
999	1534
998	1533
997	1531
996	1530
995	1528
994	1527
993	1525
992	1524
991	1522
990	1521
989	1519
988	1518
987	1516
986	1515
985	1513
984	1512
983	1510
982	1509
981	1507
980	1506
979	1504
978	1503
977	1501
976	1500
975	1498
974	1497
973	1495
972	1494
971	1492
970	1491
969	1489
968	1488
967	1486
966	1485
965	1483
964	1482
963	1480
962	1479
961	1477
960	1476
959	1474
958	1473
957	1471
956	1470
955	1468
954	1467
953	1465
952	1464
951	1462
950	1461
949	1459
948	1458
947	1456
946	1455
945	1453
944	1452
943	1450
942	1449
941	1447
940	1446
939	1444
938	1443
937	1441
936	1440
935	1438
934	1437
933	1435
932	1434
931	1432
930	1431
929	1429
928	1428
927	1426
926	1425
925	1423
924	1422
923	1420
922	1419
921	1417
920	1416
919	1414
918	1413
917	1411
916	1410
915	1408
914	1407
913	1405
912	1404
911	1402
910	1401
909	1399
908	1398
907	1396
906	1395
905	1393
904	1392
903	1390
902	1389
901	1387
900	1386
899	1384
898	1383
897	1381
896	1380
895	1378
894	1377
893	1375
892	1374
891	1372
890	1371
889	1369
888	1368
887	1366
886	1365
885	1363
884	1362
883	1360
882	1359
881	1357
880	1356
879	1354
878	1353
877	1351
876	1350
875	1348
874	1347
873	1345
872	1344
871	1342
870	1341
869	1339
868	1338
867	1336
866	1335
865	1333
864	1332
863	1330
862	1329
861	1327
860	1326
859	1324
858	1323
857	1321
856	1320
855	1318
854	1317
853	1315
852	1314
851	1312
850	1311
849	1309
848	1308
847	1306
846	1305
845	1303
844	1302
843	1300
842	1299
841	1297
840	1296
839	1294
838	1293
837	1291
836	1290
835	1288
834	1287
833	1285
832	1284
831	1282
830	1281
829	1279
828	1278
827	1276
826	1275
825	1273
824	1272
823	1270
822	1269
821	1267
820	1266
819	1264
818	1263
817	1261
816	1260
815	1258
814	1257
813	1255
812	1254
811	1252
810	1251
809	1249
808	1248
807	1246
806	1245
805	1243
804	1242
803	1240
802	1239
801	1237
800	1236
799	1234
798	1233
797	1231
796	1230
795	1228
794	1227
793	1225
792	1224
791	1222
790	1221
789	1219
788	1218
787	1216
786	1215
785	1213
784	1212
783	1210
782	1209
781	1207
780	1206
779	1204
778	1203
777	1201
776	1200
775	1198
774	1197
773	1195
772	1194
771	1192
770	1191
769	1189
768	1188
767	1186
766	1185
765	1183
764	1182
763	1180
762	1179
761	1177
760	1176
759	1174
758	1173
757	1171
756	1170
755	1168
754	1167
753	1165
752	1164
751	1162
750	1161
749	1159
748	1158
747	1156
746	1155
745	1153
744	1152
743	1150
742	1149
741	1147
740	1146
739	1144
738	1143
737	1141
736	1140
735	1138
734	1137
733	1135
732	1134
731	1132
730	1131
729	1129
728	1128
727	1126
726	1125
725	1123
724	1122
723	1120
722	1119
721	1117
720	1116
719	1114
718	1113
717	1111
716	1110
715	1108
714	1107
713	1105
712	1104
711	1102
710	1101
709	1099
708	1098
707	1096
706	1095
705	1093
704	1092
703	1090
702	1089
701	1087
700	1086
699	1084
698	1083
697	1081
696	1080
695	1078
694	1077
693	1075
692	1074
691	1072
690	1071
689	1069
688	1068
687	1066
686	1065
685	1063
684	1062
683	1060
682	1059
681	1057
680	1056
679	1054
678	1053
677	1051
676	1050
675	1048
674	1047
673	1045
672	1044
671	1042
670	1041
669	1039
668	1038
667	1036
666	1035
665	1033
664	1032
663	1030
662	1029
661	1027
660	1026
659	1024
658	1023
657	1021
656	1020
655	1018
654	1017
653	1015
652	1014
651	1012
650	1011
649	1009
648	1008
647	1006
646	1005
645	1003
644	1002
643	1000
642	999
641	997
640	996
639	994
638	993
637	991
636	990
635	988
634	987
633	985
632	984
631	982
630	981
629	979
628	978
627	976
626	975
625	973
624	972
623	970
622	969
621	967
620	966
619	964
618	963
617	961
616	960
615	958
614	957
613	955
612	954
611	952
610	951
609	949
608	948
607	946
606	945
605	943
604	942
603	940
602	939
601	937
600	936
599	934
598	933
597	931
596	930
595	928
594	927
593	925
592	924
591	922
590	921
589	919
588	918
587	916
586	915
585	913
584	912
583	910
582	909
581	907
580	906
579	904
578	903
577	901
576	900
575	898
574	897
573	895
572	894
571	892
570	891
569	889
568	888
567	886
566	885
565	883
564	882
563	880
562	879
561	877
560	876
559	874
558	873
557	871
556	870
555	868
554	867
553	865
552	864
551	862
550	861
549	859
548	858
547	856
546	855
545	853
544	852
543	850
542	849
541	847
540	846
539	844
538	843
537	841
536	840
535	838
534	837
533	835
532	834
531	832
530	831
529	829
528	828
527	826
526	825
525	823
524	822
523	820
522	819
521	817
520	816
519	814
518	813
517	811
516	810
515	808
514	807
513	805
512	804
511	802
510	801
509	799
508	798
507	796
506	795
505	793
504	792
503	790
502	789
501	787
500	786
499	784
498	783
497	781
496	780
495	778
494	777
493	775
492	774
491	772
490	771
489	769
488	768
487	766
486	765
485	763
484	762
483	760
482	759
481	757
480	756
479	754
478	753
477	751
476	750
475	748
474	747
473	745
472	744
471	742
470	741
469	739
468	738
467	736
466	735
465	733
464	732
463	730
462	729
461	727
460	726
459	724
458	723
457	721
456	720
455	718
454	717
453	715
452	714
451	712
450	711
449	709
448	708
447	706
446	705
445	703
444	702
443	700
442	699
441	697
440	696
439	694
438	693
437	691
436	690
435	688
434	687
433	685
432	684
431	682
430	681
429	679
428	678
427	676
426	675
425	673
424	672
423	670
422	669
421	667
420	666
419	664
418	663
417	661
416	660
415	658
414	657
413	655
412	654
411	652
410	651
409	649
408	648
407	646
406	645
405	643
404	642
403	640
402	639
401	637
400	636
399	634
398	633
397	631
396	630
395	628
394	627
393	625
392	624
391	622
390	621
389	619
388	618
387	616
386	615
385	613
384	612
383	610
382	609
381	607
380	606
379	604
378	603
377	601
376	600
375	598
374	597
373	595
372	594
371	592
370	591
369	589
368	588
367	586
366	585
365	583
364	582
363	580
362	579
361	577
360	576
359	574
358	573
357	571
356	570
355	568
354	567
353	565
352	564
351	562
350	561
349	559
348	558
347	556
346	555
345	553
344	552
343	550
342	549
341	547
340	546
339	544
338	543
337	541
336	540
335	538
334	537
333	535
332	534
331	532
330	531
329	529
328	528
327	526
326	525
325	523
324	522
323	520
322	519
321	517
320	516
319	514
318	513
317	511
316	510
315	508
314	507
313	505
312	504
311	502
310	501
309	499
308	498
307	496
306	495
305	493
304	492
303	490
302	489
301	487
300	486
299	484
298	483
297	481
296	480
295	478
294	477
293	475
292	474
291	472
290	471
289	469
288	468
287	466
286	465
285	463
284	462
283	460
282	459
281	457
280	456
279	454
278	453
277	451
276	450
275	448
274	447
273	445
272	444
271	442
270	441
269	439
268	438
267	436
266	435
265	433
264	432
263	430
262	429
261	427
260	426
259	424
258	423
257	421
256	420
255	418
254	417
253	415
252	414
251	412
250	411
249	409
248	408
247	406
246	405
245	403
244	402
243	400
242	399
241	397
240	396
239	394
238	393
237	391
236	390
235	388
234	387
233	385
232	384
231	382
230	381
229	379
228	378
227	376
226	375
225	373
224	372
223	370
222	369
221	367
220	366
219	364
218	363
217	361
216	360
215	358
214	357
213	355
212	354
211	352
210	351
209	349
208	348
207	346
206	345
205	343
204	342
203	340
202	339
201	337
200	336
199	334
198	333
197	331
196	330
195	328
194	327
193	325
192	324
191	322
190	321
189	319
188	318
187	316
186	315
185	313
184	312
183	310
182	309
181	307
180	306
179	304
178	303
177	301
176	300
175	298
174	297
173	295
172	294
171	292
170	291
169	289
168	288
167	286
166	285
165	283
164	282
163	280
162	279
161	277
160	276
159	274
158	273
157	271
156	270
155	268
154	267
153	265
152	264
151	262
150	261
149	259
148	258
147	256
146	255
145	253
144	252
143	250
142	249
141	247
140	246
139	244
138	243
137	241
136	240
135	238
134	237
133	235
132	234
131	232
130	231
129	229
128	228
127	226
126	225
125	223
124	222
123	220
122	219
121	217
120	216
119	214
118	213
117	211
116	210
115	208
114	207
113	205
112	204
111	202
110	201
109	199
108	198
107	196
106	195
105	193
104	192
103	190
102	189
101	187
100	186
99	184
98	183
97	181
96	180
95	178
94	177
93	175
92	174
91	172
90	171
89	169
88	168
87	166
86	165
85	163
84	162
83	160
82	159
81	157
80	156
79	154
78	153
77	151
76	150
75	148
74	147
73	145
72	144
71	142
70	141
69	139
68	138
67	136
66	135
65	133
64	132
63	130
62	129
61	127
60	126
59	124
58	123
57	121
56	120
55	118
54	117
53	115
52	114
51	112
50	111
49	109
48	108
47	106
46	105
45	103
44	102
43	100
42	99
41	97
40	96
39	94
38	93
37	91
36	90
35	88
34	87
33	85
32	84
31	82
30	81
29	79
28	78
27	76
26	75
25	73
24	72
23	70
22	69
21	67
20	66
19	64
18	63
17	61
16	60
15	58
14	57
13	55
12	54
11	52
10	51
9	49
8	48
7	46
6	45
5	43
4	42
3	36
2	28
1	18
0	8

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ y z))
0.0b	(+ (* x (+ y z)) (* z 5.0))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 38

Calls

2 calls:

20.0ms	(* x (+ y z))
12.0ms	(+ (* x (+ y z)) (* z 5.0))

series92.0ms

Counts

2 → 6

Calls

2 calls:

41.0ms	(* x (+ y z))
51.0ms	(+ (* x (+ y z)) (* z 5.0))

simplify571.0ms

Counts

44 → 44

Iterations

Iter	Nodes
done	2002
2	856
1	222
0	74

prune188.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt x) (cbrt x))
0.7b	(cbrt x)
0.7b	(cbrt x)
0.7b	(cbrt x)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 77

Calls

4 calls:

14.0ms	(* (cbrt x) (cbrt x))
1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series961.0ms

Counts

4 → 12

Calls

4 calls:

283.0ms	(* (cbrt x) (cbrt x))
222.0ms	(cbrt x)
246.0ms	(cbrt x)
210.0ms	(cbrt x)

simplify682.0ms

Counts

89 → 89

Iterations

Iter	Nodes
done	2000
3	1045
2	380
1	138
0	63

prune294.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x (+ y z)) (* z 5.0))
0.1b	(sqrt (+ (* x (+ y z)) (* z 5.0)))
0.1b	(sqrt (+ (* x (+ y z)) (* z 5.0)))
0.2b	(* (sqrt (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))))

rewrite99.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
16×	`sqrt-div`
14×	`*-un-lft-identity` `add-cube-cbrt`
10×	`sqrt-pow1` `pow1/2`
9×	`flip3-+` `flip-+`
8×	`swap-sqr`
6×	`add-cbrt-cube` `associate-r` `associate-l` `add-exp-log` `add-log-exp`
5×	`pow-prod-up`
4×	`frac-times` `insert-posit16` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `associate-+l+` `associate-l/` `associate-r/`
1×	`pow2` `distribute-rgt-in` `+-commutative` `sum-log` `rem-square-sqrt` `distribute-lft-in` `pow-plus` `sqrt-unprod` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 104

Calls

4 calls:

11.0ms	(+ (* x (+ y z)) (* z 5.0))
14.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
11.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
61.0ms	(* (sqrt (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))))

series361.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(+ (* x (+ y z)) (* z 5.0))
170.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
114.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
33.0ms	(* (sqrt (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))))

simplify720.0ms

Counts

116 → 116

Iterations

Iter	Nodes
done	2003
2	1035
1	305
0	124

prune345.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (+ (* x (+ y z)) (* z 5.0)))
0.1b	(sqrt (+ (* x (+ y z)) (* z 5.0)))
0.2b	(* (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) (* (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0)))))
0.2b	(* (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0))))

rewrite274.0ms

Algorithm

rewrite-expression-head

Rules

112×	`sqrt-div`
53×	`sqrt-pow1`
52×	`pow1`
38×	`sqrt-prod`
36×	`pow-prod-up`
35×	`flip3-+` `flip-+`
33×	`pow1/2`
32×	`add-sqr-sqrt` `frac-times`
18×	`associate-l`
16×	`associate-*r/`
14×	`*-un-lft-identity` `add-cube-cbrt`
11×	`add-cbrt-cube` `add-exp-log`
10×	`pow-prod-down` `associate-*l/`
7×	`associate-r`
6×	`pow-plus` `unswap-sqr`
4×	`cube-unmult` `prod-exp` `cbrt-unprod` `insert-posit16` `add-log-exp`
3×	`sqrt-unprod`
2×	`rem-sqrt-square` `*-commutative`

Counts

4 → 158

Calls

4 calls:

11.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
14.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
186.0ms	(* (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) (* (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0)))))
60.0ms	(* (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0))))

series656.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
137.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
32.0ms	(* (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) (* (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0)))))
375.0ms	(* (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0))))

simplify1.2s

Counts

170 → 170

Iterations

Iter	Nodes
done	2001
2	1606
1	628
0	227

prune698.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes180.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

Iter	Nodes
done	12
1	12
0	8

end0.0ms

sample1.1s

Algorithm

intervals

Results

787.0ms	9648×	body	80	valid
54.0ms	109×	body	1280	valid
33.0ms	139×	body	640	valid
12.0ms	63×	body	320	valid
4.0ms	33×	body	160	valid