Details

sample173.0ms

Algorithm

intervals

Results

21.0ms

266×

body

valid

simplify1.7s

Counts

1 → 1

Iterations

Iter	Nodes
done	2008
12	2008
11	1500
10	683
9	461
8	399
7	365
6	329
5	270
4	221
3	134
2	65
1	25
0	8

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.4b

localize31.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ t1 u) (+ t1 u))
22.4b	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`add-cbrt-cube` `add-exp-log`
12×	`flip3-+` `flip-+`
9×	`pow1`
8×	`add-sqr-sqrt` `frac-times` `associate-/r/`
6×	`swap-sqr` `add-cube-cbrt` `distribute-lft-out`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate-r` `associate-l` `associate-l/` `associate-r/`
2×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`distribute-lft-neg-out` `pow2` `distribute-rgt-in` `clear-num` `associate-/r` `frac-2neg` `distribute-lft-in` `times-frac` `pow-plus` `pow-prod-down` `distribute-frac-neg` `pow-sqr` `-commutative` `pow-prod-up` `div-inv` `associate-/l*` `unswap-sqr`

Counts

2 → 76

Calls

2 calls:

54.0ms	(* (+ t1 u) (+ t1 u))
37.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series151.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(* (+ t1 u) (+ t1 u))
123.0ms	(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

simplify889.0ms

Counts

82 → 82

Iterations

Iter	Nodes
done	2000
2	2000
1	427
0	118

prune298.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ v (+ t1 u))
0.0b	(/ (- t1) (+ t1 u))
1.9b	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

125×	`*-un-lft-identity`
108×	`times-frac`
81×	`add-sqr-sqrt`
69×	`add-cube-cbrt`
46×	`associate-l`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
19×	`add-cbrt-cube` `add-exp-log`
18×	`associate-r`
13×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*` `associate-/r/`
6×	`cbrt-undiv` `div-exp`
5×	`pow1`
4×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `unswap-sqr`
3×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `frac-2neg` `distribute-frac-neg`
1×	`distribute-lft-neg-out` `neg-sub0` `frac-times` `div-sub` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

3 → 201

Calls

3 calls:

16.0ms	(/ v (+ t1 u))
19.0ms	(/ (- t1) (+ t1 u))
67.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

series301.0ms

Counts

3 → 9

Calls

3 calls:

37.0ms	(/ v (+ t1 u))
65.0ms	(/ (- t1) (+ t1 u))
199.0ms	(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

simplify823.0ms

Counts

210 → 210

Iterations

Iter	Nodes
done	2000
2	2000
1	656
0	222

prune884.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t1) (+ t1 u))
0.5b	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
1.8b	(* (/ (- t1) (+ t1 u)) v)

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity`
85×	`times-frac`
60×	`add-sqr-sqrt`
55×	`add-cube-cbrt`
46×	`associate-l`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
23×	`distribute-lft-out`
19×	`add-cbrt-cube` `add-exp-log`
11×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*`
6×	`cbrt-undiv` `div-exp` `associate-/r/`
5×	`pow1`
4×	`prod-exp` `distribute-frac-neg` `cbrt-unprod`
3×	`expm1-log1p-u` `flip3-+` `associate-r` `flip-+` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`distribute-lft-neg-out` `clear-num` `frac-2neg` `associate-*l/` `unswap-sqr`
1×	`neg-sub0` `div-sub` `pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 174

Calls

3 calls:

17.0ms	(/ (- t1) (+ t1 u))
36.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
36.0ms	(* (/ (- t1) (+ t1 u)) v)

series394.0ms

Counts

3 → 9

Calls

3 calls:

73.0ms	(/ (- t1) (+ t1 u))
198.0ms	(/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
123.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify1.4s

Counts

183 → 183

Iterations

Iter	Nodes
done	2312
3	2312
2	1653
1	528
0	201

prune618.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (+ t1 u))
0.0b	(/ (- t1) (+ t1 u))
0.7b	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
1.8b	(* (/ (- t1) (+ t1 u)) v)

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

127×	`*-un-lft-identity`
105×	`times-frac`
76×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
54×	`add-exp-log`
47×	`associate-l`
34×	`add-cbrt-cube`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
22×	`prod-exp`
21×	`associate-r`
14×	`div-exp`
13×	`associate-/l*`
12×	`pow1` `cbrt-unprod`
9×	`neg-mul-1`
8×	`cbrt-undiv` `associate-/r*` `associate-/r/`
4×	`expm1-log1p-u` `rec-exp` `flip3-+` `1-exp` `pow-prod-down` `associate-*l/` `flip-+` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-frac-neg`
2×	`clear-num` `frac-2neg` `*-commutative` `unswap-sqr`
1×	`neg-sub0` `frac-times` `div-sub` `associate-*r/` `un-div-inv` `pow-flip` `inv-pow`

Counts

4 → 237

Calls

4 calls:

8.0ms	(/ 1 (+ t1 u))
9.0ms	(/ (- t1) (+ t1 u))
61.0ms	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
19.0ms	(* (/ (- t1) (+ t1 u)) v)

series429.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(/ 1 (+ t1 u))
74.0ms	(/ (- t1) (+ t1 u))
203.0ms	(* (* (/ (- t1) (+ t1 u)) v) (/ 1 (+ t1 u)))
86.0ms	(* (/ (- t1) (+ t1 u)) v)

simplify1.1s

Counts

249 → 249

Iterations

Iter	Nodes
done	2002
2	2002
1	677
0	253

prune914.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes176.0ms

Accuracy

0% (1.4b remaining)

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

bsearch0.0ms

simplify2.0s

Iterations

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

end0.0ms

sample1.3s

Algorithm

intervals

Results

691.0ms

8260×

body

valid