Details

sample22.0ms

Algorithm

intervals

Results

13.0ms

288×

body

valid

simplify18.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	16
5	16
4	15
3	13
2	10
1	8
0	5

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.5b

localize13.0ms

Local error

Found 1 expressions with local error:

4.5b	(/ (* x y) z)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-cbrt-cube` `add-exp-log`
3×	`add-sqr-sqrt` `associate-/r` `-un-lft-identity` `times-frac` `add-cube-cbrt`
2×	`cbrt-undiv` `div-exp`
1×	`expm1-log1p-u` `pow1` `clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 24

Calls

1 calls:

17.0ms

(/ (* x y) z)

series26.0ms

Counts

1 → 3

Calls

1 calls:

25.0ms

(/ (* x y) z)

simplify1.8s

Counts

27 → 27

Iterations

Iter	Nodes
done	5017
3	2113
2	461
1	121
0	51

prune110.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ 1 (/ z (* x y)))
4.5b	(/ z (* x y))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
28×	`add-exp-log`
20×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
16×	`add-cbrt-cube`
14×	`div-exp`
8×	`associate-/r*`
7×	`cbrt-undiv`
6×	`div-inv` `associate-/l*`
4×	`prod-exp`
3×	`pow1` `rec-exp` `1-exp`
2×	`expm1-log1p-u` `clear-num` `frac-2neg` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`associate-/r/` `pow-flip` `inv-pow`

Counts

2 → 83

Calls

2 calls:

23.0ms	(/ 1 (/ z (* x y)))
13.0ms	(/ z (* x y))

series75.0ms

Counts

2 → 6

Calls

2 calls:

34.0ms	(/ 1 (/ z (* x y)))
40.0ms	(/ z (* x y))

simplify2.2s

Counts

89 → 89

Iterations

Iter	Nodes
done	5000
2	950
1	287
0	124

prune319.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 3 expressions with local error:

0.3b	(/ 1 (* x y))
0.4b	(/ 1 (* z (/ 1 (* x y))))
4.9b	(* z (/ 1 (* x y)))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

101×	`add-exp-log`
43×	`prod-exp`
36×	`div-exp`
31×	`add-cbrt-cube`
18×	`rec-exp` `1-exp`
12×	`add-sqr-sqrt`
11×	`pow1`
10×	`cbrt-undiv` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac` `cbrt-unprod`
7×	`associate-r`
6×	`associate-/l*`
4×	`pow-flip`
3×	`expm1-log1p-u` `associate-l` `pow-prod-down` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`clear-num` `associate-/r` `frac-2neg` `associate-r/` `associate-/r/` `un-div-inv` `inv-pow`
1×	`*-commutative` `unswap-sqr`

Counts

3 → 119

Calls

3 calls:

17.0ms	(/ 1 (* x y))
54.0ms	(/ 1 (* z (/ 1 (* x y))))
29.0ms	(* z (/ 1 (* x y)))

series101.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(/ 1 (* x y))
49.0ms	(/ 1 (* z (/ 1 (* x y))))
25.0ms	(* z (/ 1 (* x y)))

simplify2.0s

Counts

128 → 128

Iterations

Iter	Nodes
done	5001
2	943
1	351
0	140

prune334.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

5.3b	(* (/ x z) y)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`associate-l`
10×	`times-frac`
9×	`*-un-lft-identity` `add-cube-cbrt`
6×	`add-cbrt-cube` `add-exp-log`
3×	`pow1` `associate-r`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`

Counts

1 → 35

Calls

1 calls:

24.0ms

(* (/ x z) y)

series28.0ms

Counts

1 → 3

Calls

1 calls:

28.0ms

(* (/ x z) y)

simplify1.9s

Counts

38 → 38

Iterations

Iter	Nodes
done	5000
3	2106
2	513
1	159
0	70

prune145.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes374.0ms

Accuracy

88.4% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 5.3b

bsearch1.0ms

simplify1.2m

Iterations

Iter	Nodes
done	5001
667	4994
666	4986
665	4979
664	4971
663	4964
662	4956
661	4949
660	4941
659	4934
658	4926
657	4919
656	4911
655	4904
654	4896
653	4889
652	4881
651	4874
650	4866
649	4859
648	4851
647	4844
646	4836
645	4829
644	4821
643	4814
642	4806
641	4799
640	4791
639	4784
638	4776
637	4769
636	4761
635	4754
634	4746
633	4739
632	4731
631	4724
630	4716
629	4709
628	4701
627	4694
626	4686
625	4679
624	4671
623	4664
622	4656
621	4649
620	4641
619	4634
618	4626
617	4619
616	4611
615	4604
614	4596
613	4589
612	4581
611	4574
610	4566
609	4559
608	4551
607	4544
606	4536
605	4529
604	4521
603	4514
602	4506
601	4499
600	4491
599	4484
598	4476
597	4469
596	4461
595	4454
594	4446
593	4439
592	4431
591	4424
590	4416
589	4409
588	4401
587	4394
586	4386
585	4379
584	4371
583	4364
582	4356
581	4349
580	4341
579	4334
578	4326
577	4319
576	4311
575	4304
574	4296
573	4289
572	4281
571	4274
570	4266
569	4259
568	4251
567	4244
566	4236
565	4229
564	4221
563	4214
562	4206
561	4199
560	4191
559	4184
558	4176
557	4169
556	4161
555	4154
554	4146
553	4139
552	4131
551	4124
550	4116
549	4109
548	4101
547	4094
546	4086
545	4079
544	4071
543	4064
542	4056
541	4049
540	4041
539	4034
538	4026
537	4019
536	4011
535	4004
534	3996
533	3989
532	3981
531	3974
530	3966
529	3959
528	3951
527	3944
526	3936
525	3929
524	3921
523	3914
522	3906
521	3899
520	3891
519	3884
518	3876
517	3869
516	3861
515	3854
514	3846
513	3839
512	3831
511	3824
510	3816
509	3809
508	3801
507	3794
506	3786
505	3779
504	3771
503	3764
502	3756
501	3749
500	3741
499	3734
498	3726
497	3719
496	3711
495	3704
494	3696
493	3689
492	3681
491	3674
490	3666
489	3659
488	3651
487	3644
486	3636
485	3629
484	3621
483	3614
482	3606
481	3599
480	3591
479	3584
478	3576
477	3569
476	3561
475	3554
474	3546
473	3539
472	3531
471	3524
470	3516
469	3509
468	3501
467	3494
466	3486
465	3479
464	3471
463	3464
462	3456
461	3449
460	3441
459	3434
458	3426
457	3419
456	3411
455	3404
454	3396
453	3389
452	3381
451	3374
450	3366
449	3359
448	3351
447	3344
446	3336
445	3329
444	3321
443	3314
442	3306
441	3299
440	3291
439	3284
438	3276
437	3269
436	3261
435	3254
434	3246
433	3239
432	3231
431	3224
430	3216
429	3209
428	3201
427	3194
426	3186
425	3179
424	3171
423	3164
422	3156
421	3149
420	3141
419	3134
418	3126
417	3119
416	3111
415	3104
414	3096
413	3089
412	3081
411	3074
410	3066
409	3059
408	3051
407	3044
406	3036
405	3029
404	3021
403	3014
402	3006
401	2999
400	2991
399	2984
398	2976
397	2969
396	2961
395	2954
394	2946
393	2939
392	2931
391	2924
390	2916
389	2909
388	2901
387	2894
386	2886
385	2879
384	2871
383	2864
382	2856
381	2849
380	2841
379	2834
378	2826
377	2819
376	2811
375	2804
374	2796
373	2789
372	2781
371	2774
370	2766
369	2759
368	2751
367	2744
366	2736
365	2729
364	2721
363	2714
362	2706
361	2699
360	2691
359	2684
358	2676
357	2669
356	2661
355	2654
354	2646
353	2639
352	2631
351	2624
350	2616
349	2609
348	2601
347	2594
346	2586
345	2579
344	2571
343	2564
342	2556
341	2549
340	2541
339	2534
338	2526
337	2519
336	2511
335	2504
334	2496
333	2489
332	2481
331	2474
330	2466
329	2459
328	2451
327	2444
326	2436
325	2429
324	2421
323	2414
322	2406
321	2399
320	2391
319	2384
318	2376
317	2369
316	2361
315	2354
314	2346
313	2339
312	2331
311	2324
310	2316
309	2309
308	2301
307	2294
306	2286
305	2279
304	2271
303	2264
302	2256
301	2249
300	2241
299	2234
298	2226
297	2219
296	2211
295	2204
294	2196
293	2189
292	2181
291	2174
290	2166
289	2159
288	2151
287	2144
286	2136
285	2129
284	2121
283	2114
282	2106
281	2099
280	2091
279	2084
278	2076
277	2069
276	2061
275	2054
274	2046
273	2039
272	2031
271	2024
270	2016
269	2009
268	2001
267	1994
266	1986
265	1979
264	1971
263	1964
262	1956
261	1949
260	1941
259	1934
258	1926
257	1919
256	1911
255	1904
254	1896
253	1889
252	1881
251	1874
250	1866
249	1859
248	1851
247	1844
246	1836
245	1829
244	1821
243	1814
242	1806
241	1799
240	1791
239	1784
238	1776
237	1769
236	1761
235	1754
234	1746
233	1739
232	1731
231	1724
230	1716
229	1709
228	1701
227	1694
226	1686
225	1679
224	1671
223	1664
222	1656
221	1649
220	1641
219	1634
218	1626
217	1619
216	1611
215	1604
214	1596
213	1589
212	1581
211	1574
210	1566
209	1559
208	1551
207	1544
206	1536
205	1529
204	1521
203	1514
202	1506
201	1499
200	1491
199	1484
198	1476
197	1469
196	1461
195	1454
194	1446
193	1439
192	1431
191	1424
190	1416
189	1409
188	1401
187	1394
186	1386
185	1379
184	1371
183	1364
182	1356
181	1349
180	1341
179	1334
178	1326
177	1319
176	1311
175	1304
174	1296
173	1289
172	1281
171	1274
170	1266
169	1259
168	1251
167	1244
166	1236
165	1229
164	1221
163	1214
162	1206
161	1199
160	1191
159	1184
158	1176
157	1169
156	1161
155	1154
154	1146
153	1139
152	1131
151	1124
150	1116
149	1109
148	1101
147	1094
146	1086
145	1079
144	1071
143	1064
142	1056
141	1049
140	1041
139	1034
138	1026
137	1019
136	1011
135	1004
134	996
133	989
132	981
131	974
130	966
129	959
128	951
127	944
126	936
125	929
124	921
123	914
122	906
121	899
120	891
119	884
118	876
117	869
116	861
115	854
114	846
113	839
112	831
111	824
110	816
109	809
108	801
107	794
106	786
105	779
104	771
103	764
102	756
101	749
100	741
99	734
98	726
97	719
96	711
95	704
94	696
93	689
92	681
91	674
90	666
89	659
88	651
87	644
86	636
85	629
84	621
83	614
82	606
81	599
80	591
79	584
78	576
77	569
76	561
75	554
74	546
73	539
72	531
71	524
70	516
69	509
68	501
67	494
66	486
65	479
64	471
63	464
62	456
61	449
60	441
59	434
58	426
57	419
56	411
55	404
54	396
53	389
52	381
51	374
50	366
49	359
48	351
47	344
46	336
45	329
44	321
43	314
42	306
41	299
40	291
39	284
38	276
37	269
36	261
35	254
34	246
33	239
32	231
31	224
30	216
29	209
28	201
27	194
26	186
25	179
24	171
23	164
22	156
21	149
20	141
19	134
18	126
17	119
16	111
15	104
14	96
13	89
12	81
11	74
10	66
9	59
8	49
7	48
6	45
5	44
4	41
3	38
2	32
1	29
0	21

end0.0ms

sample911.0ms

Algorithm

intervals

Results

672.0ms

9518×

body

valid