Details

sample43.0ms

Algorithm

intervals

Results

30.0ms

278×

body

valid

simplify12.7s

Counts

1 → 1

Iterations

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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.2b

localize16.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ (/ 1.0 x) y)
7.2b	(/ (/ (/ 1.0 x) y) (fma z z 1.0))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

468×	`times-frac`
228×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
56×	`associate-/l*`
22×	`div-inv`
16×	`add-cbrt-cube` `add-exp-log`
9×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
2×	`expm1-log1p-u` `pow1` `clear-num` `frac-2neg` `insert-posit16` `log1p-expm1-u` `add-log-exp` `associate-/l/`

Counts

2 → 268

Calls

2 calls:

10.0ms	(/ (/ 1.0 x) y)
11.0ms	(/ (/ (/ 1.0 x) y) (fma z z 1.0))

series96.0ms

Counts

2 → 6

Calls

2 calls:

26.0ms	(/ (/ 1.0 x) y)
70.0ms	(/ (/ (/ 1.0 x) y) (fma z z 1.0))

simplify684.0ms

Counts

274 → 274

Iterations

Iter	Nodes
done	2001
1	1066
0	473

prune1.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
1.5b	(/ (/ (cbrt (/ 1.0 x)) (cbrt y)) (fma z z 1.0))
4.9b	(* (* (/ (cbrt (/ 1.0 x)) (cbrt y)) (/ (cbrt (/ 1.0 x)) (cbrt y))) (/ (/ (cbrt (/ 1.0 x)) (cbrt y)) (fma z z 1.0)))

rewrite128.0ms

Algorithm

rewrite-expression-head

Rules

1665×	`times-frac`
895×	`cbrt-prod`
798×	`add-sqr-sqrt`
775×	`*-un-lft-identity` `add-cube-cbrt`
304×	`associate-r`
100×	`associate-/l*`
78×	`add-exp-log`
51×	`div-inv`
42×	`add-cbrt-cube`
30×	`cbrt-undiv` `div-exp`
27×	`prod-exp` `cbrt-unprod`
9×	`pow1`
8×	`unswap-sqr`
5×	`frac-times` `associate-*l/`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `pow-prod-down` `associate-r/`
2×	`pow1/3`
1×	`clear-num` `frac-2neg` `associate-l` `*-commutative` `associate-/l/`

Counts

4 → 812

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
16.0ms	(/ (/ (cbrt (/ 1.0 x)) (cbrt y)) (fma z z 1.0))
78.0ms	(* (* (/ (cbrt (/ 1.0 x)) (cbrt y)) (/ (cbrt (/ 1.0 x)) (cbrt y))) (/ (/ (cbrt (/ 1.0 x)) (cbrt y)) (fma z z 1.0)))

series847.0ms

Counts

4 → 12

Calls

4 calls:

257.0ms	(cbrt y)
257.0ms	(cbrt y)
155.0ms	(/ (/ (cbrt (/ 1.0 x)) (cbrt y)) (fma z z 1.0))
178.0ms	(* (* (/ (cbrt (/ 1.0 x)) (cbrt y)) (/ (cbrt (/ 1.0 x)) (cbrt y))) (/ (/ (cbrt (/ 1.0 x)) (cbrt y)) (fma z z 1.0)))

simplify1.5s

Counts

824 → 824

Iterations

Iter	Nodes
done	2000
0	1180

prune5.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 6.1b

localize73.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (cbrt y))
0.6b	(* (/ (cbrt (/ 1.0 x)) (cbrt y)) (/ (/ (cbrt 1) (cbrt (* (cbrt y) (cbrt y)))) (sqrt (fma z z 1.0))))
17.7b	(sqrt (fma z z 1.0))
17.7b	(sqrt (fma z z 1.0))

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

764×	`times-frac`
680×	`add-sqr-sqrt`
446×	`cbrt-prod`
264×	`*-un-lft-identity`
236×	`add-cube-cbrt`
172×	`associate-r`
139×	`sqrt-prod`
105×	`unswap-sqr`
100×	`associate-l`
25×	`add-exp-log`
15×	`add-cbrt-cube`
14×	`div-inv`
9×	`cbrt-undiv` `div-exp`
8×	`pow1`
6×	`prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`frac-times` `pow1/3` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

4 → 453

Calls

4 calls:

1.0ms	(cbrt (cbrt y))
58.0ms	(* (/ (cbrt (/ 1.0 x)) (cbrt y)) (/ (/ (cbrt 1) (cbrt (* (cbrt y) (cbrt y)))) (sqrt (fma z z 1.0))))
2.0ms	(sqrt (fma z z 1.0))
2.0ms	(sqrt (fma z z 1.0))

series960.0ms

Counts

4 → 12

Calls

4 calls:

357.0ms	(cbrt (cbrt y))
446.0ms	(* (/ (cbrt (/ 1.0 x)) (cbrt y)) (/ (/ (cbrt 1) (cbrt (* (cbrt y) (cbrt y)))) (sqrt (fma z z 1.0))))
76.0ms	(sqrt (fma z z 1.0))
81.0ms	(sqrt (fma z z 1.0))

simplify1.1s

Counts

465 → 465

Iterations

Iter	Nodes
done	2000
0	670

prune3.4s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 6.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
3.4b	(* (/ (/ 1 (cbrt y)) (cbrt y)) (/ (/ (/ 1.0 x) (cbrt y)) (fma z z 1.0)))
4.0b	(/ (/ (/ 1.0 x) (cbrt y)) (fma z z 1.0))

rewrite373.0ms

Algorithm

rewrite-expression-head

Rules

1896×	`times-frac`
1132×	`add-sqr-sqrt`
802×	`*-un-lft-identity`
778×	`add-cube-cbrt`
477×	`cbrt-prod`
250×	`associate-r`
136×	`associate-l`
103×	`add-exp-log`
82×	`associate-/l*`
72×	`unswap-sqr`
64×	`div-inv`
60×	`div-exp`
47×	`add-cbrt-cube`
36×	`cbrt-undiv`
20×	`prod-exp`
12×	`cbrt-unprod`
6×	`pow1`
4×	`expm1-log1p-u` `rec-exp` `1-exp` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r*`
2×	`pow1/3`
1×	`frac-times` `clear-num` `frac-2neg` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative` `associate-/l/`

Counts

4 → 884

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
53.0ms	(* (/ (/ 1 (cbrt y)) (cbrt y)) (/ (/ (/ 1.0 x) (cbrt y)) (fma z z 1.0)))
12.0ms	(/ (/ (/ 1.0 x) (cbrt y)) (fma z z 1.0))

series718.0ms

Counts

4 → 12

Calls

4 calls:

235.0ms	(cbrt y)
238.0ms	(cbrt y)
95.0ms	(* (/ (/ 1 (cbrt y)) (cbrt y)) (/ (/ (/ 1.0 x) (cbrt y)) (fma z z 1.0)))
149.0ms	(/ (/ (/ 1.0 x) (cbrt y)) (fma z z 1.0))

simplify1.1s

Counts

896 → 896

Iterations

Iter	Nodes
done	2000
0	1212

prune5.3s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 6.1b

regimes294.0ms

Accuracy

0% (1.1b remaining)

Error of 6.5b against oracle of 5.4b and baseline of 6.5b

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	13
1	13
0	12

end0.0ms

sample1.2s

Algorithm

intervals

Results

837.0ms

8646×

body

valid