Details

sample40.0ms

Algorithm

intervals

Results

24.0ms

310×

body

valid

simplify21.0ms

Counts

1 → 1

Iterations

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.3b

localize14.0ms

Local error

Found 1 expressions with local error:

7.3b	(/ (* x y) z)

rewrite21.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:

21.0ms

(/ (* x y) z)

series41.0ms

Counts

1 → 3

Calls

1 calls:

41.0ms

(/ (* x y) z)

simplify1.9s

Counts

27 → 27

Iterations

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

prune125.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)
2.4b	(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
28×	`times-frac`
25×	`add-exp-log`
22×	`-un-lft-identity` `associate-r*` `add-cube-cbrt`
20×	`cbrt-prod`
18×	`add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `unswap-sqr`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

4 → 104

Calls

4 calls:

1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)
34.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

series950.0ms

Counts

4 → 12

Calls

4 calls:

303.0ms	(cbrt z)
278.0ms	(cbrt z)
299.0ms	(cbrt z)
71.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

simplify1.6s

Counts

116 → 116

Iterations

Iter	Nodes
done	5000
2	1863
1	447
0	146

prune567.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

4.4b	(/ x (/ z y))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 73

Calls

1 calls:

7.0ms

(/ x (/ z y))

series35.0ms

Counts

1 → 3

Calls

1 calls:

35.0ms

(/ x (/ z y))

simplify2.0s

Counts

76 → 76

Iterations

Iter	Nodes
done	5000
3	3444
2	975
1	371
0	153

prune361.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
2.9b	(* (/ (* (cbrt x) (cbrt x)) z) (* y (cbrt x)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-exp-log`
18×	`add-cbrt-cube`
11×	`prod-exp` `cbrt-unprod`
9×	`cbrt-prod` `add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cube-cbrt`
7×	`associate-l`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `pow1/3` `pow-prod-down`
1×	`associate-r` `associate-l/` `-commutative` `div-inv`

Counts

4 → 76

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
50.0ms	(* (/ (* (cbrt x) (cbrt x)) z) (* y (cbrt x)))

series978.0ms

Counts

4 → 12

Calls

4 calls:

289.0ms	(cbrt x)
294.0ms	(cbrt x)
314.0ms	(cbrt x)
81.0ms	(* (/ (* (cbrt x) (cbrt x)) z) (* y (cbrt x)))

simplify1.6s

Counts

88 → 88

Iterations

Iter	Nodes
done	5000
2	938
1	257
0	95

prune452.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes395.0ms

Accuracy

87% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 5.4b

bsearch1.0ms

simplify1.1m

Iterations

Iter	Nodes
done	5000
667	4993
666	4985
665	4978
664	4970
663	4963
662	4955
661	4948
660	4940
659	4933
658	4925
657	4918
656	4910
655	4903
654	4895
653	4888
652	4880
651	4873
650	4865
649	4858
648	4850
647	4843
646	4835
645	4828
644	4820
643	4813
642	4805
641	4798
640	4790
639	4783
638	4775
637	4768
636	4760
635	4753
634	4745
633	4738
632	4730
631	4723
630	4715
629	4708
628	4700
627	4693
626	4685
625	4678
624	4670
623	4663
622	4655
621	4648
620	4640
619	4633
618	4625
617	4618
616	4610
615	4603
614	4595
613	4588
612	4580
611	4573
610	4565
609	4558
608	4550
607	4543
606	4535
605	4528
604	4520
603	4513
602	4505
601	4498
600	4490
599	4483
598	4475
597	4468
596	4460
595	4453
594	4445
593	4438
592	4430
591	4423
590	4415
589	4408
588	4400
587	4393
586	4385
585	4378
584	4370
583	4363
582	4355
581	4348
580	4340
579	4333
578	4325
577	4318
576	4310
575	4303
574	4295
573	4288
572	4280
571	4273
570	4265
569	4258
568	4250
567	4243
566	4235
565	4228
564	4220
563	4213
562	4205
561	4198
560	4190
559	4183
558	4175
557	4168
556	4160
555	4153
554	4145
553	4138
552	4130
551	4123
550	4115
549	4108
548	4100
547	4093
546	4085
545	4078
544	4070
543	4063
542	4055
541	4048
540	4040
539	4033
538	4025
537	4018
536	4010
535	4003
534	3995
533	3988
532	3980
531	3973
530	3965
529	3958
528	3950
527	3943
526	3935
525	3928
524	3920
523	3913
522	3905
521	3898
520	3890
519	3883
518	3875
517	3868
516	3860
515	3853
514	3845
513	3838
512	3830
511	3823
510	3815
509	3808
508	3800
507	3793
506	3785
505	3778
504	3770
503	3763
502	3755
501	3748
500	3740
499	3733
498	3725
497	3718
496	3710
495	3703
494	3695
493	3688
492	3680
491	3673
490	3665
489	3658
488	3650
487	3643
486	3635
485	3628
484	3620
483	3613
482	3605
481	3598
480	3590
479	3583
478	3575
477	3568
476	3560
475	3553
474	3545
473	3538
472	3530
471	3523
470	3515
469	3508
468	3500
467	3493
466	3485
465	3478
464	3470
463	3463
462	3455
461	3448
460	3440
459	3433
458	3425
457	3418
456	3410
455	3403
454	3395
453	3388
452	3380
451	3373
450	3365
449	3358
448	3350
447	3343
446	3335
445	3328
444	3320
443	3313
442	3305
441	3298
440	3290
439	3283
438	3275
437	3268
436	3260
435	3253
434	3245
433	3238
432	3230
431	3223
430	3215
429	3208
428	3200
427	3193
426	3185
425	3178
424	3170
423	3163
422	3155
421	3148
420	3140
419	3133
418	3125
417	3118
416	3110
415	3103
414	3095
413	3088
412	3080
411	3073
410	3065
409	3058
408	3050
407	3043
406	3035
405	3028
404	3020
403	3013
402	3005
401	2998
400	2990
399	2983
398	2975
397	2968
396	2960
395	2953
394	2945
393	2938
392	2930
391	2923
390	2915
389	2908
388	2900
387	2893
386	2885
385	2878
384	2870
383	2863
382	2855
381	2848
380	2840
379	2833
378	2825
377	2818
376	2810
375	2803
374	2795
373	2788
372	2780
371	2773
370	2765
369	2758
368	2750
367	2743
366	2735
365	2728
364	2720
363	2713
362	2705
361	2698
360	2690
359	2683
358	2675
357	2668
356	2660
355	2653
354	2645
353	2638
352	2630
351	2623
350	2615
349	2608
348	2600
347	2593
346	2585
345	2578
344	2570
343	2563
342	2555
341	2548
340	2540
339	2533
338	2525
337	2518
336	2510
335	2503
334	2495
333	2488
332	2480
331	2473
330	2465
329	2458
328	2450
327	2443
326	2435
325	2428
324	2420
323	2413
322	2405
321	2398
320	2390
319	2383
318	2375
317	2368
316	2360
315	2353
314	2345
313	2338
312	2330
311	2323
310	2315
309	2308
308	2300
307	2293
306	2285
305	2278
304	2270
303	2263
302	2255
301	2248
300	2240
299	2233
298	2225
297	2218
296	2210
295	2203
294	2195
293	2188
292	2180
291	2173
290	2165
289	2158
288	2150
287	2143
286	2135
285	2128
284	2120
283	2113
282	2105
281	2098
280	2090
279	2083
278	2075
277	2068
276	2060
275	2053
274	2045
273	2038
272	2030
271	2023
270	2015
269	2008
268	2000
267	1993
266	1985
265	1978
264	1970
263	1963
262	1955
261	1948
260	1940
259	1933
258	1925
257	1918
256	1910
255	1903
254	1895
253	1888
252	1880
251	1873
250	1865
249	1858
248	1850
247	1843
246	1835
245	1828
244	1820
243	1813
242	1805
241	1798
240	1790
239	1783
238	1775
237	1768
236	1760
235	1753
234	1745
233	1738
232	1730
231	1723
230	1715
229	1708
228	1700
227	1693
226	1685
225	1678
224	1670
223	1663
222	1655
221	1648
220	1640
219	1633
218	1625
217	1618
216	1610
215	1603
214	1595
213	1588
212	1580
211	1573
210	1565
209	1558
208	1550
207	1543
206	1535
205	1528
204	1520
203	1513
202	1505
201	1498
200	1490
199	1483
198	1475
197	1468
196	1460
195	1453
194	1445
193	1438
192	1430
191	1423
190	1415
189	1408
188	1400
187	1393
186	1385
185	1378
184	1370
183	1363
182	1355
181	1348
180	1340
179	1333
178	1325
177	1318
176	1310
175	1303
174	1295
173	1288
172	1280
171	1273
170	1265
169	1258
168	1250
167	1243
166	1235
165	1228
164	1220
163	1213
162	1205
161	1198
160	1190
159	1183
158	1175
157	1168
156	1160
155	1153
154	1145
153	1138
152	1130
151	1123
150	1115
149	1108
148	1100
147	1093
146	1085
145	1078
144	1070
143	1063
142	1055
141	1048
140	1040
139	1033
138	1025
137	1018
136	1010
135	1003
134	995
133	988
132	980
131	973
130	965
129	958
128	950
127	943
126	935
125	928
124	920
123	913
122	905
121	898
120	890
119	883
118	875
117	868
116	860
115	853
114	845
113	838
112	830
111	823
110	815
109	808
108	800
107	793
106	785
105	778
104	770
103	763
102	755
101	748
100	740
99	733
98	725
97	718
96	710
95	703
94	695
93	688
92	680
91	673
90	665
89	658
88	650
87	643
86	635
85	628
84	620
83	613
82	605
81	598
80	590
79	583
78	575
77	568
76	560
75	553
74	545
73	538
72	530
71	523
70	515
69	508
68	500
67	493
66	485
65	478
64	470
63	463
62	455
61	448
60	440
59	433
58	425
57	418
56	410
55	403
54	395
53	388
52	380
51	373
50	365
49	358
48	350
47	343
46	335
45	328
44	320
43	313
42	305
41	298
40	290
39	283
38	275
37	268
36	260
35	253
34	245
33	238
32	230
31	223
30	215
29	208
28	200
27	193
26	185
25	178
24	170
23	163
22	155
21	148
20	140
19	133
18	125
17	118
16	110
15	103
14	95
13	88
12	80
11	73
10	65
9	58
8	48
7	47
6	44
5	43
4	40
3	37
2	31
1	28
0	21

end0.0ms

sample889.0ms

Algorithm

intervals

Results

628.0ms

9550×

body

valid