Details

sample29.0ms

Algorithm

intervals

Results

12.0ms

300×

body

valid

simplify52.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	51
8	51
7	50
6	46
5	42
4	35
3	31
2	20
1	16
0	6

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.5b

localize12.0ms

Local error

Found 1 expressions with local error:

11.9b

(/ (* x (+ y z)) z)

rewrite12.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` `associate-*r/` `associate-/l/`
1×	`pow1` `clear-num` `frac-2neg` `flip3-+` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 23

Calls

1 calls:

11.0ms

(/ (* x (+ y z)) z)

series43.0ms

Counts

1 → 3

Calls

1 calls:

43.0ms

(/ (* x (+ y z)) z)

simplify2.1s

Counts

26 → 26

Iterations

Iter	Nodes
done	5147
3	4134
2	740
1	170
0	59

prune120.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 1 expressions with local error:

3.0b	(/ x (/ z (+ y z)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

102×	`times-frac`
76×	`*-un-lft-identity`
52×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`associate-/r*`
12×	`distribute-lft-out`
9×	`associate-/r/`
6×	`add-cbrt-cube` `add-exp-log`
5×	`div-inv`
4×	`flip3-+` `flip-+`
3×	`cbrt-undiv` `div-exp` `associate-/l*`
1×	`pow1` `clear-num` `frac-2neg` `add-log-exp`

Counts

1 → 90

Calls

1 calls:

16.0ms

(/ x (/ z (+ y z)))

series52.0ms

Counts

1 → 3

Calls

1 calls:

52.0ms

(/ x (/ z (+ y z)))

simplify1.6s

Counts

93 → 93

Iterations

Iter	Nodes
done	5001
2	1389
1	453
0	178

prune350.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ z y) z)
3.6b	(* x (/ (+ z y) z))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
25×	`add-sqr-sqrt` `times-frac`
20×	`add-cube-cbrt`
16×	`associate-r`
9×	`add-cbrt-cube` `add-exp-log`
7×	`distribute-lft-out`
4×	`pow1` `associate-/l*`
3×	`associate-/r` `associate-l*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr` `associate-/l/`
1×	`clear-num` `frac-2neg` `flip3-+` `pow-prod-down` `associate-r/` `-commutative` `flip-+`

Counts

2 → 68

Calls

2 calls:

15.0ms	(/ (+ z y) z)
22.0ms	(* x (/ (+ z y) z))

series84.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(/ (+ z y) z)
61.0ms	(* x (/ (+ z y) z))

simplify2.4s

Counts

74 → 74

Iterations

Iter	Nodes
done	5000
3	3927
2	806
1	242
0	97

prune396.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 1 (+ y z))
10.2b	(/ (/ x z) (/ 1 (+ y z)))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

585×	`times-frac`
348×	`*-un-lft-identity`
256×	`add-sqr-sqrt` `add-cube-cbrt`
46×	`distribute-lft-out`
35×	`div-inv`
31×	`associate-/r/`
28×	`add-exp-log`
22×	`associate-/r*`
18×	`div-exp`
16×	`add-cbrt-cube` `associate-/l*`
15×	`flip3-+` `flip-+`
9×	`cbrt-undiv`
3×	`pow1` `rec-exp` `1-exp`
2×	`clear-num` `frac-2neg` `add-log-exp`
1×	`pow-flip` `inv-pow` `associate-/l/`

Counts

2 → 326

Calls

2 calls:

14.0ms	(/ 1 (+ y z))
21.0ms	(/ (/ x z) (/ 1 (+ y z)))

series97.0ms

Counts

2 → 6

Calls

2 calls:

37.0ms	(/ 1 (+ y z))
59.0ms	(/ (/ x z) (/ 1 (+ y z)))

simplify2.3s

Counts

332 → 332

Iterations

Iter	Nodes
done	5023
2	3979
1	1473
0	479

prune964.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes366.0ms

Accuracy

93.5% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 3.1b

bsearch1.0ms

simplify53.7s

Iterations

Iter	Nodes
done	5002
668	4997
667	4990
666	4982
665	4975
664	4967
663	4960
662	4952
661	4945
660	4937
659	4930
658	4922
657	4915
656	4907
655	4900
654	4892
653	4885
652	4877
651	4870
650	4862
649	4855
648	4847
647	4840
646	4832
645	4825
644	4817
643	4810
642	4802
641	4795
640	4787
639	4780
638	4772
637	4765
636	4757
635	4750
634	4742
633	4735
632	4727
631	4720
630	4712
629	4705
628	4697
627	4690
626	4682
625	4675
624	4667
623	4660
622	4652
621	4645
620	4637
619	4630
618	4622
617	4615
616	4607
615	4600
614	4592
613	4585
612	4577
611	4570
610	4562
609	4555
608	4547
607	4540
606	4532
605	4525
604	4517
603	4510
602	4502
601	4495
600	4487
599	4480
598	4472
597	4465
596	4457
595	4450
594	4442
593	4435
592	4427
591	4420
590	4412
589	4405
588	4397
587	4390
586	4382
585	4375
584	4367
583	4360
582	4352
581	4345
580	4337
579	4330
578	4322
577	4315
576	4307
575	4300
574	4292
573	4285
572	4277
571	4270
570	4262
569	4255
568	4247
567	4240
566	4232
565	4225
564	4217
563	4210
562	4202
561	4195
560	4187
559	4180
558	4172
557	4165
556	4157
555	4150
554	4142
553	4135
552	4127
551	4120
550	4112
549	4105
548	4097
547	4090
546	4082
545	4075
544	4067
543	4060
542	4052
541	4045
540	4037
539	4030
538	4022
537	4015
536	4007
535	4000
534	3992
533	3985
532	3977
531	3970
530	3962
529	3955
528	3947
527	3940
526	3932
525	3925
524	3917
523	3910
522	3902
521	3895
520	3887
519	3880
518	3872
517	3865
516	3857
515	3850
514	3842
513	3835
512	3827
511	3820
510	3812
509	3805
508	3797
507	3790
506	3782
505	3775
504	3767
503	3760
502	3752
501	3745
500	3737
499	3730
498	3722
497	3715
496	3707
495	3700
494	3692
493	3685
492	3677
491	3670
490	3662
489	3655
488	3647
487	3640
486	3632
485	3625
484	3617
483	3610
482	3602
481	3595
480	3587
479	3580
478	3572
477	3565
476	3557
475	3550
474	3542
473	3535
472	3527
471	3520
470	3512
469	3505
468	3497
467	3490
466	3482
465	3475
464	3467
463	3460
462	3452
461	3445
460	3437
459	3430
458	3422
457	3415
456	3407
455	3400
454	3392
453	3385
452	3377
451	3370
450	3362
449	3355
448	3347
447	3340
446	3332
445	3325
444	3317
443	3310
442	3302
441	3295
440	3287
439	3280
438	3272
437	3265
436	3257
435	3250
434	3242
433	3235
432	3227
431	3220
430	3212
429	3205
428	3197
427	3190
426	3182
425	3175
424	3167
423	3160
422	3152
421	3145
420	3137
419	3130
418	3122
417	3115
416	3107
415	3100
414	3092
413	3085
412	3077
411	3070
410	3062
409	3055
408	3047
407	3040
406	3032
405	3025
404	3017
403	3010
402	3002
401	2995
400	2987
399	2980
398	2972
397	2965
396	2957
395	2950
394	2942
393	2935
392	2927
391	2920
390	2912
389	2905
388	2897
387	2890
386	2882
385	2875
384	2867
383	2860
382	2852
381	2845
380	2837
379	2830
378	2822
377	2815
376	2807
375	2800
374	2792
373	2785
372	2777
371	2770
370	2762
369	2755
368	2747
367	2740
366	2732
365	2725
364	2717
363	2710
362	2702
361	2695
360	2687
359	2680
358	2672
357	2665
356	2657
355	2650
354	2642
353	2635
352	2627
351	2620
350	2612
349	2605
348	2597
347	2590
346	2582
345	2575
344	2567
343	2560
342	2552
341	2545
340	2537
339	2530
338	2522
337	2515
336	2507
335	2500
334	2492
333	2485
332	2477
331	2470
330	2462
329	2455
328	2447
327	2440
326	2432
325	2425
324	2417
323	2410
322	2402
321	2395
320	2387
319	2380
318	2372
317	2365
316	2357
315	2350
314	2342
313	2335
312	2327
311	2320
310	2312
309	2305
308	2297
307	2290
306	2282
305	2275
304	2267
303	2260
302	2252
301	2245
300	2237
299	2230
298	2222
297	2215
296	2207
295	2200
294	2192
293	2185
292	2177
291	2170
290	2162
289	2155
288	2147
287	2140
286	2132
285	2125
284	2117
283	2110
282	2102
281	2095
280	2087
279	2080
278	2072
277	2065
276	2057
275	2050
274	2042
273	2035
272	2027
271	2020
270	2012
269	2005
268	1997
267	1990
266	1982
265	1975
264	1967
263	1960
262	1952
261	1945
260	1937
259	1930
258	1922
257	1915
256	1907
255	1900
254	1892
253	1885
252	1877
251	1870
250	1862
249	1855
248	1847
247	1840
246	1832
245	1825
244	1817
243	1810
242	1802
241	1795
240	1787
239	1780
238	1772
237	1765
236	1757
235	1750
234	1742
233	1735
232	1727
231	1720
230	1712
229	1705
228	1697
227	1690
226	1682
225	1675
224	1667
223	1660
222	1652
221	1645
220	1637
219	1630
218	1622
217	1615
216	1607
215	1600
214	1592
213	1585
212	1577
211	1570
210	1562
209	1555
208	1547
207	1540
206	1532
205	1525
204	1517
203	1510
202	1502
201	1495
200	1487
199	1480
198	1472
197	1465
196	1457
195	1450
194	1442
193	1435
192	1427
191	1420
190	1412
189	1405
188	1397
187	1390
186	1382
185	1375
184	1367
183	1360
182	1352
181	1345
180	1337
179	1330
178	1322
177	1315
176	1307
175	1300
174	1292
173	1285
172	1277
171	1270
170	1262
169	1255
168	1247
167	1240
166	1232
165	1225
164	1217
163	1210
162	1202
161	1195
160	1187
159	1180
158	1172
157	1165
156	1157
155	1150
154	1142
153	1135
152	1127
151	1120
150	1112
149	1105
148	1097
147	1090
146	1082
145	1075
144	1067
143	1060
142	1052
141	1045
140	1037
139	1030
138	1022
137	1015
136	1007
135	1000
134	992
133	985
132	977
131	970
130	962
129	955
128	947
127	940
126	932
125	925
124	917
123	910
122	902
121	895
120	887
119	880
118	872
117	865
116	857
115	850
114	842
113	835
112	827
111	820
110	812
109	805
108	797
107	790
106	782
105	775
104	767
103	760
102	752
101	745
100	737
99	730
98	722
97	715
96	707
95	700
94	692
93	685
92	677
91	670
90	662
89	655
88	647
87	640
86	632
85	625
84	617
83	610
82	602
81	595
80	587
79	580
78	572
77	565
76	557
75	550
74	542
73	535
72	527
71	520
70	512
69	505
68	497
67	490
66	482
65	475
64	467
63	460
62	452
61	445
60	437
59	430
58	422
57	415
56	407
55	400
54	392
53	385
52	377
51	370
50	362
49	355
48	347
47	340
46	332
45	325
44	317
43	310
42	302
41	295
40	287
39	280
38	272
37	265
36	257
35	250
34	242
33	235
32	227
31	220
30	212
29	205
28	197
27	190
26	182
25	175
24	167
23	160
22	152
21	145
20	137
19	130
18	122
17	115
16	107
15	100
14	92
13	85
12	77
11	70
10	62
9	55
8	45
7	44
6	41
5	40
4	37
3	34
2	28
1	25
0	20

end0.0ms

sample672.0ms

Algorithm

intervals

Results

385.0ms

9594×

body

valid