Details

sample293.0ms

Algorithm

intervals

Results

69.0ms	185×	body	80	valid
69.0ms	60×	body	1280	valid
65.0ms	298×	body	80	nan
21.0ms	25×	body	640	valid
16.0ms	10×	body	2560	valid
9.0ms	9×	body	320	valid
2.0ms	5×	body	160	valid

simplify101.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	97
6	97
5	95
4	89
3	75
2	53
1	33
0	18

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.9b

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z t) 3.0)
0.2b	(/ a (* b 3.0))
0.3b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
22.7b	(cos (- y (/ (* z t) 3.0)))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

23×	`cos-sum`
22×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
21×	`prod-diff`
19×	`add-cbrt-cube` `add-exp-log`
15×	`times-frac`
9×	`pow1`
5×	`prod-exp` `cbrt-unprod` `div-inv`
4×	`expm1-log1p-u` `cbrt-undiv` `associate-/r` `div-exp` `insert-posit16` `log1p-expm1-u` `associate-/l` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`clear-num` `frac-2neg`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 105

Calls

4 calls:

13.0ms	(/ (* z t) 3.0)
10.0ms	(/ a (* b 3.0))
32.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
14.0ms	(cos (- y (/ (* z t) 3.0)))

series283.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(/ (* z t) 3.0)
32.0ms	(/ a (* b 3.0))
158.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
61.0ms	(cos (- y (/ (* z t) 3.0)))

simplify983.0ms

Counts

117 → 117

Iterations

Iter	Nodes
done	2005
2	1886
1	715
0	331

prune1.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 13.4b

localize66.0ms

Local error

Found 4 expressions with local error:

22.8b	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
22.8b	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
51.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
51.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`cos-sum` `sin-sum`

Counts

4 → 44

Calls

4 calls:

2.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
2.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series179.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
51.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
48.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
40.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify673.0ms

Counts

56 → 56

Iterations

Iter	Nodes
done	2000
4	1369
3	432
2	202
1	109
0	67

prune882.0ms

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 13.3b

localize115.0ms

Local error

Found 4 expressions with local error:

26.5b	(cos (- (* (/ t 3.0) (/ z 1))))
26.7b	(sin (- (* (/ t 3.0) (/ z 1))))
51.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
51.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`neg-sub0` `fma-udef`
1×	`cos-diff` `cos-neg` `sin-neg` `sin-diff`

Counts

4 → 46

Calls

4 calls:

6.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
6.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series152.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
27.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
49.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
54.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify792.0ms

Counts

58 → 58

Iterations

Iter	Nodes
done	2000
4	1410
3	442
2	186
1	95
0	60

prune1.2s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 13.3b

localize120.0ms

Local error

Found 4 expressions with local error:

26.5b	(cos (- (* (/ t 3.0) (/ z 1))))
26.7b	(sin (- (* (/ t 3.0) (/ z 1))))
51.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
51.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`neg-sub0` `fma-udef`
1×	`cos-diff` `cos-neg` `sin-neg` `sin-diff`

Counts

4 → 46

Calls

4 calls:

9.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
10.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series149.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
34.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
56.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
43.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify740.0ms

Counts

58 → 58

Iterations

Iter	Nodes
done	2000
4	1410
3	442
2	186
1	95
0	60

prune807.0ms

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 13.3b

regimes7.2s

Accuracy

45.1% (2.3b remaining)

Error of 16.1b against oracle of 13.8b and baseline of 18.0b

bsearch3.0ms

simplify2.7s

Iterations

Iter	Nodes
done	2000
964	1998
963	1996
962	1994
961	1992
960	1990
959	1988
958	1986
957	1984
956	1982
955	1980
954	1978
953	1976
952	1974
951	1972
950	1970
949	1968
948	1966
947	1964
946	1962
945	1960
944	1958
943	1956
942	1954
941	1952
940	1950
939	1948
938	1946
937	1944
936	1942
935	1940
934	1938
933	1936
932	1934
931	1932
930	1930
929	1928
928	1926
927	1924
926	1922
925	1920
924	1918
923	1916
922	1914
921	1912
920	1910
919	1908
918	1906
917	1904
916	1902
915	1900
914	1898
913	1896
912	1894
911	1892
910	1890
909	1888
908	1886
907	1884
906	1882
905	1880
904	1878
903	1876
902	1874
901	1872
900	1870
899	1868
898	1866
897	1864
896	1862
895	1860
894	1858
893	1856
892	1854
891	1852
890	1850
889	1848
888	1846
887	1844
886	1842
885	1840
884	1838
883	1836
882	1834
881	1832
880	1830
879	1828
878	1826
877	1824
876	1822
875	1820
874	1818
873	1816
872	1814
871	1812
870	1810
869	1808
868	1806
867	1804
866	1802
865	1800
864	1798
863	1796
862	1794
861	1792
860	1790
859	1788
858	1786
857	1784
856	1782
855	1780
854	1778
853	1776
852	1774
851	1772
850	1770
849	1768
848	1766
847	1764
846	1762
845	1760
844	1758
843	1756
842	1754
841	1752
840	1750
839	1748
838	1746
837	1744
836	1742
835	1740
834	1738
833	1736
832	1734
831	1732
830	1730
829	1728
828	1726
827	1724
826	1722
825	1720
824	1718
823	1716
822	1714
821	1712
820	1710
819	1708
818	1706
817	1704
816	1702
815	1700
814	1698
813	1696
812	1694
811	1692
810	1690
809	1688
808	1686
807	1684
806	1682
805	1680
804	1678
803	1676
802	1674
801	1672
800	1670
799	1668
798	1666
797	1664
796	1662
795	1660
794	1658
793	1656
792	1654
791	1652
790	1650
789	1648
788	1646
787	1644
786	1642
785	1640
784	1638
783	1636
782	1634
781	1632
780	1630
779	1628
778	1626
777	1624
776	1622
775	1620
774	1618
773	1616
772	1614
771	1612
770	1610
769	1608
768	1606
767	1604
766	1602
765	1600
764	1598
763	1596
762	1594
761	1592
760	1590
759	1588
758	1586
757	1584
756	1582
755	1580
754	1578
753	1576
752	1574
751	1572
750	1570
749	1568
748	1566
747	1564
746	1562
745	1560
744	1558
743	1556
742	1554
741	1552
740	1550
739	1548
738	1546
737	1544
736	1542
735	1540
734	1538
733	1536
732	1534
731	1532
730	1530
729	1528
728	1526
727	1524
726	1522
725	1520
724	1518
723	1516
722	1514
721	1512
720	1510
719	1508
718	1506
717	1504
716	1502
715	1500
714	1498
713	1496
712	1494
711	1492
710	1490
709	1488
708	1486
707	1484
706	1482
705	1480
704	1478
703	1476
702	1474
701	1472
700	1470
699	1468
698	1466
697	1464
696	1462
695	1460
694	1458
693	1456
692	1454
691	1452
690	1450
689	1448
688	1446
687	1444
686	1442
685	1440
684	1438
683	1436
682	1434
681	1432
680	1430
679	1428
678	1426
677	1424
676	1422
675	1420
674	1418
673	1416
672	1414
671	1412
670	1410
669	1408
668	1406
667	1404
666	1402
665	1400
664	1398
663	1396
662	1394
661	1392
660	1390
659	1388
658	1386
657	1384
656	1382
655	1380
654	1378
653	1376
652	1374
651	1372
650	1370
649	1368
648	1366
647	1364
646	1362
645	1360
644	1358
643	1356
642	1354
641	1352
640	1350
639	1348
638	1346
637	1344
636	1342
635	1340
634	1338
633	1336
632	1334
631	1332
630	1330
629	1328
628	1326
627	1324
626	1322
625	1320
624	1318
623	1316
622	1314
621	1312
620	1310
619	1308
618	1306
617	1304
616	1302
615	1300
614	1298
613	1296
612	1294
611	1292
610	1290
609	1288
608	1286
607	1284
606	1282
605	1280
604	1278
603	1276
602	1274
601	1272
600	1270
599	1268
598	1266
597	1264
596	1262
595	1260
594	1258
593	1256
592	1254
591	1252
590	1250
589	1248
588	1246
587	1244
586	1242
585	1240
584	1238
583	1236
582	1234
581	1232
580	1230
579	1228
578	1226
577	1224
576	1222
575	1220
574	1218
573	1216
572	1214
571	1212
570	1210
569	1208
568	1206
567	1204
566	1202
565	1200
564	1198
563	1196
562	1194
561	1192
560	1190
559	1188
558	1186
557	1184
556	1182
555	1180
554	1178
553	1176
552	1174
551	1172
550	1170
549	1168
548	1166
547	1164
546	1162
545	1160
544	1158
543	1156
542	1154
541	1152
540	1150
539	1148
538	1146
537	1144
536	1142
535	1140
534	1138
533	1136
532	1134
531	1132
530	1130
529	1128
528	1126
527	1124
526	1122
525	1120
524	1118
523	1116
522	1114
521	1112
520	1110
519	1108
518	1106
517	1104
516	1102
515	1100
514	1098
513	1096
512	1094
511	1092
510	1090
509	1088
508	1086
507	1084
506	1082
505	1080
504	1078
503	1076
502	1074
501	1072
500	1070
499	1068
498	1066
497	1064
496	1062
495	1060
494	1058
493	1056
492	1054
491	1052
490	1050
489	1048
488	1046
487	1044
486	1042
485	1040
484	1038
483	1036
482	1034
481	1032
480	1030
479	1028
478	1026
477	1024
476	1022
475	1020
474	1018
473	1016
472	1014
471	1012
470	1010
469	1008
468	1006
467	1004
466	1002
465	1000
464	998
463	996
462	994
461	992
460	990
459	988
458	986
457	984
456	982
455	980
454	978
453	976
452	974
451	972
450	970
449	968
448	966
447	964
446	962
445	960
444	958
443	956
442	954
441	952
440	950
439	948
438	946
437	944
436	942
435	940
434	938
433	936
432	934
431	932
430	930
429	928
428	926
427	924
426	922
425	920
424	918
423	916
422	914
421	912
420	910
419	908
418	906
417	904
416	902
415	900
414	898
413	896
412	894
411	892
410	890
409	888
408	886
407	884
406	882
405	880
404	878
403	876
402	874
401	872
400	870
399	868
398	866
397	864
396	862
395	860
394	858
393	856
392	854
391	852
390	850
389	848
388	846
387	844
386	842
385	840
384	838
383	836
382	834
381	832
380	830
379	828
378	826
377	824
376	822
375	820
374	818
373	816
372	814
371	812
370	810
369	808
368	806
367	804
366	802
365	800
364	798
363	796
362	794
361	792
360	790
359	788
358	786
357	784
356	782
355	780
354	778
353	776
352	774
351	772
350	770
349	768
348	766
347	764
346	762
345	760
344	758
343	756
342	754
341	752
340	750
339	748
338	746
337	744
336	742
335	740
334	738
333	736
332	734
331	732
330	730
329	728
328	726
327	724
326	722
325	720
324	718
323	716
322	714
321	712
320	710
319	708
318	706
317	704
316	702
315	700
314	698
313	696
312	694
311	692
310	690
309	688
308	686
307	684
306	682
305	680
304	678
303	676
302	674
301	672
300	670
299	668
298	666
297	664
296	662
295	660
294	658
293	656
292	654
291	652
290	650
289	648
288	646
287	644
286	642
285	640
284	638
283	636
282	634
281	632
280	630
279	628
278	626
277	624
276	622
275	620
274	618
273	616
272	614
271	612
270	610
269	608
268	606
267	604
266	602
265	600
264	598
263	596
262	594
261	592
260	590
259	588
258	586
257	584
256	582
255	580
254	578
253	576
252	574
251	572
250	570
249	568
248	566
247	564
246	562
245	560
244	558
243	556
242	554
241	552
240	550
239	548
238	546
237	544
236	542
235	540
234	538
233	536
232	534
231	532
230	530
229	528
228	526
227	524
226	522
225	520
224	518
223	516
222	514
221	512
220	510
219	508
218	506
217	504
216	502
215	500
214	498
213	496
212	494
211	492
210	490
209	488
208	486
207	484
206	482
205	480
204	478
203	476
202	474
201	472
200	470
199	468
198	466
197	464
196	462
195	460
194	458
193	456
192	454
191	452
190	450
189	448
188	446
187	444
186	442
185	440
184	438
183	436
182	434
181	432
180	430
179	428
178	426
177	424
176	422
175	420
174	418
173	416
172	414
171	412
170	410
169	408
168	406
167	404
166	402
165	400
164	398
163	396
162	394
161	392
160	390
159	388
158	386
157	384
156	382
155	380
154	378
153	376
152	374
151	372
150	370
149	368
148	366
147	364
146	362
145	360
144	358
143	356
142	354
141	352
140	350
139	348
138	346
137	344
136	342
135	340
134	338
133	336
132	334
131	332
130	330
129	328
128	326
127	324
126	322
125	320
124	318
123	316
122	314
121	312
120	310
119	308
118	306
117	304
116	302
115	300
114	298
113	296
112	294
111	292
110	290
109	288
108	286
107	284
106	282
105	280
104	278
103	276
102	274
101	272
100	270
99	268
98	266
97	264
96	262
95	260
94	258
93	256
92	254
91	252
90	250
89	248
88	246
87	244
86	242
85	240
84	238
83	236
82	234
81	232
80	230
79	228
78	226
77	224
76	222
75	220
74	218
73	216
72	214
71	212
70	210
69	208
68	206
67	204
66	202
65	200
64	198
63	196
62	194
61	192
60	190
59	188
58	186
57	184
56	182
55	180
54	178
53	176
52	174
51	172
50	170
49	168
48	166
47	164
46	162
45	160
44	158
43	156
42	154
41	152
40	150
39	148
38	146
37	144
36	142
35	140
34	138
33	136
32	134
31	132
30	130
29	128
28	126
27	124
26	122
25	120
24	118
23	116
22	114
21	112
20	110
19	108
18	106
17	104
16	102
15	100
14	98
13	96
12	94
11	92
10	90
9	88
8	86
7	84
6	82
5	80
4	78
3	76
2	74
1	70
0	47

end0.0ms

sample9.7s

Algorithm

intervals

Results

2.7s	1580×	body	1280	valid
2.7s	9020×	body	80	nan
1.4s	5637×	body	80	valid
853.0ms	932×	body	640	valid
720.0ms	385×	body	2560	valid
379.0ms	435×	body	320	valid
142.0ms	218×	body	160	valid