Details

sample83.0ms

Algorithm

intervals

Results

31.0ms	281×	body	80	valid
31.0ms	274×	body	80	nan

simplify8.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
359	4985
358	4975
357	4958
356	4948
355	4931
354	4921
353	4904
352	4898
351	4877
350	4867
349	4854
348	4844
347	4823
346	4815
345	4798
344	4792
343	4771
342	4761
341	4748
340	4738
339	4717
338	4711
337	4694
336	4688
335	4667
334	4657
333	4644
332	4634
331	4613
330	4607
329	4582
328	4574
327	4561
326	4551
325	4534
324	4526
323	4505
322	4497
321	4480
320	4470
319	4453
318	4443
317	4426
316	4416
315	4399
314	4393
313	4372
312	4362
311	4349
310	4339
309	4318
308	4312
307	4291
306	4281
305	4268
304	4258
303	4237
302	4231
301	4210
300	4200
299	4187
298	4177
297	4156
296	4148
295	4131
294	4121
293	4104
292	4094
291	4077
290	4067
289	4050
288	4044
287	4023
286	4013
285	4000
284	3990
283	3969
282	3963
281	3938
280	3930
279	3917
278	3907
277	3886
276	3878
275	3861
274	3855
273	3834
272	3824
271	3811
270	3801
269	3780
268	3772
267	3755
266	3745
265	3728
264	3718
263	3701
262	3691
261	3674
260	3664
259	3647
258	3637
257	3620
256	3614
255	3593
254	3583
253	3570
252	3560
251	3539
250	3533
249	3508
248	3500
247	3487
246	3477
245	3456
244	3448
243	3431
242	3421
241	3404
240	3394
239	3377
238	3367
237	3350
236	3340
235	3323
234	3313
233	3296
232	3290
231	3269
230	3259
229	3246
228	3236
227	3215
226	3209
225	3184
224	3176
223	3163
222	3153
221	3132
220	3124
219	3107
218	3097
217	3080
216	3070
215	3053
214	3043
213	3026
212	3020
211	2999
210	2989
209	2976
208	2966
207	2945
206	2939
205	2918
204	2908
203	2895
202	2885
201	2864
200	2856
199	2839
198	2829
197	2812
196	2802
195	2785
194	2775
193	2758
192	2748
191	2731
190	2721
189	2704
188	2694
187	2677
186	2667
185	2650
184	2640
183	2623
182	2617
181	2596
180	2586
179	2573
178	2563
177	2542
176	2534
175	2517
174	2507
173	2490
172	2480
171	2463
170	2453
169	2436
168	2426
167	2409
166	2399
165	2382
164	2372
163	2355
162	2345
161	2328
160	2318
159	2301
158	2291
157	2274
156	2268
155	2247
154	2237
153	2224
152	2214
151	2193
150	2187
149	2162
148	2154
147	2141
146	2131
145	2110
144	2102
143	2085
142	2075
141	2058
140	2048
139	2031
138	2021
137	2004
136	1994
135	1977
134	1967
133	1950
132	1944
131	1923
130	1913
129	1900
128	1890
127	1869
126	1863
125	1842
124	1832
123	1819
122	1809
121	1788
120	1780
119	1763
118	1757
117	1736
116	1726
115	1713
114	1703
113	1682
112	1674
111	1657
110	1647
109	1630
108	1620
107	1603
106	1593
105	1576
104	1566
103	1549
102	1539
101	1522
100	1512
99	1495
98	1485
97	1468
96	1458
95	1441
94	1435
93	1414
92	1404
91	1391
90	1381
89	1360
88	1352
87	1335
86	1325
85	1308
84	1298
83	1281
82	1271
81	1254
80	1244
79	1227
78	1217
77	1200
76	1190
75	1173
74	1163
73	1146
72	1136
71	1119
70	1109
69	1092
68	1082
67	1065
66	1055
65	1038
64	1032
63	1011
62	1001
61	988
60	978
59	957
58	949
57	932
56	922
55	905
54	899
53	878
52	868
51	855
50	847
49	828
48	820
47	807
46	799
45	778
44	770
43	755
42	745
41	732
40	722
39	705
38	697
37	680
36	672
35	655
34	647
33	628
32	620
31	607
30	597
29	576
28	568
27	551
26	541
25	524
24	514
23	497
22	487
21	470
20	460
19	443
18	435
17	418
16	410
15	395
14	385
13	372
12	362
11	337
10	318
9	286
8	226
7	130
6	98
5	88
4	81
3	62
2	41
1	24
0	12

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.2b	(/ y (* 3.0 (sqrt x)))
0.3b	(* 3.0 (sqrt x))
0.3b	(/ 1.0 (* x 9.0))

rewrite458.0ms

Algorithm

rewrite-expression-head

Rules

124×	`add-sqr-sqrt`
87×	`times-frac`
80×	`*-un-lft-identity`
75×	`add-cube-cbrt`
60×	`associate-/r*`
54×	`associate-r`
44×	`frac-sub`
33×	`associate-l`
29×	`sqrt-prod`
23×	`flip3--` `flip--`
20×	`unswap-sqr`
16×	`add-cbrt-cube` `add-exp-log`
12×	`associate-/l*`
11×	`*-commutative`
9×	`add-log-exp`
6×	`pow1`
4×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `insert-posit16` `difference-of-squares`
3×	`diff-log` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
2×	`sub-neg` `associate--l+` `div-inv`
1×	`associate--l-` `pow-prod-down`

Counts

4 → 238

Calls

4 calls:

394.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
26.0ms	(/ y (* 3.0 (sqrt x)))
9.0ms	(* 3.0 (sqrt x))
13.0ms	(/ 1.0 (* x 9.0))

series282.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
91.0ms	(/ y (* 3.0 (sqrt x)))
79.0ms	(* 3.0 (sqrt x))
27.0ms	(/ 1.0 (* x 9.0))

simplify1.6s

Counts

250 → 250

Iterations

Iter	Nodes
done	5000
1	1307
0	486

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize40.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
0.3b	(/ 1.0 (* x 9.0))
0.3b	(/ (/ y 3.0) (sqrt x))

rewrite458.0ms

Algorithm

rewrite-expression-head

Rules

201×	`times-frac`
153×	`add-sqr-sqrt`
134×	`*-un-lft-identity`
129×	`add-cube-cbrt`
62×	`frac-sub`
51×	`associate-/l*`
50×	`sqrt-prod`
39×	`associate-/r*`
32×	`flip3--` `flip--`
27×	`associate-/l/`
13×	`add-cbrt-cube` `add-exp-log`
12×	`associate-r` `associate-l`
11×	`div-inv`
8×	`add-log-exp`
7×	`clear-num` `frac-2neg`
5×	`cbrt-undiv` `div-exp` `difference-of-squares`
4×	`*-commutative` `unswap-sqr`
3×	`pow1` `diff-log` `insert-posit16` `distribute-lft-out--`
2×	`sub-neg` `associate--l+`
1×	`associate--l-` `prod-exp` `cbrt-unprod`

Counts

3 → 273

Calls

3 calls:

414.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
13.0ms	(/ 1.0 (* x 9.0))
21.0ms	(/ (/ y 3.0) (sqrt x))

series225.0ms

Counts

3 → 9

Calls

3 calls:

92.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
32.0ms	(/ 1.0 (* x 9.0))
100.0ms	(/ (/ y 3.0) (sqrt x))

simplify1.7s

Counts

282 → 282

Iterations

Iter	Nodes
done	5001
1	1614
0	608

prune1.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
0.3b	(/ (/ 1.0 x) 9.0)
0.3b	(/ (/ y 3.0) (sqrt x))

rewrite400.0ms

Algorithm

rewrite-expression-head

Rules

240×	`times-frac`
164×	`add-sqr-sqrt`
153×	`*-un-lft-identity`
148×	`add-cube-cbrt`
64×	`associate-/l*`
62×	`frac-sub`
50×	`sqrt-prod`
36×	`associate-/l/`
33×	`associate-/r*`
32×	`flip3--` `flip--`
15×	`div-inv`
13×	`add-cbrt-cube` `add-exp-log`
8×	`clear-num` `frac-2neg` `add-log-exp`
6×	`cbrt-undiv` `div-exp`
5×	`difference-of-squares`
3×	`pow1` `diff-log` `insert-posit16` `distribute-lft-out--`
2×	`sub-neg` `associate--l+`
1×	`associate--l-`

Counts

3 → 286

Calls

3 calls:

343.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
23.0ms	(/ (/ 1.0 x) 9.0)
16.0ms	(/ (/ y 3.0) (sqrt x))

series237.0ms

Counts

3 → 9

Calls

3 calls:

96.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
44.0ms	(/ (/ 1.0 x) 9.0)
97.0ms	(/ (/ y 3.0) (sqrt x))

simplify1.9s

Counts

295 → 295

Iterations

Iter	Nodes
done	5001
1	1692
0	646

prune1.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ 1 (* (sqrt x) (/ 3.0 y))))
0.3b	(* (sqrt x) (/ 3.0 y))
0.3b	(/ 1.0 (* x 9.0))
0.7b	(/ 1 (* (sqrt x) (/ 3.0 y)))

rewrite623.0ms

Algorithm

rewrite-expression-head

Rules

250×	`add-sqr-sqrt`
211×	`times-frac`
148×	`*-un-lft-identity`
133×	`add-cube-cbrt`
103×	`associate-r`
102×	`associate-/r*`
68×	`frac-sub`
54×	`associate-l`
40×	`unswap-sqr`
39×	`sqrt-prod`
35×	`flip3--` `add-exp-log` `flip--`
23×	`add-cbrt-cube`
20×	`associate-/l*`
18×	`associate-*r/`
12×	`div-exp`
11×	`associate-/r/` `*-commutative` `div-inv` `difference-of-squares`
9×	`pow1` `prod-exp` `add-log-exp`
8×	`clear-num`
7×	`cbrt-undiv`
6×	`frac-2neg` `distribute-lft-out--`
5×	`cbrt-unprod`
4×	`un-div-inv` `insert-posit16`
3×	`rec-exp` `diff-log` `1-exp`
2×	`sub-neg` `pow-prod-down` `associate--l+` `pow-flip`
1×	`associate--l-` `inv-pow`

Counts

4 → 366

Calls

4 calls:

456.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ 1 (* (sqrt x) (/ 3.0 y))))
44.0ms	(* (sqrt x) (/ 3.0 y))
26.0ms	(/ 1.0 (* x 9.0))
67.0ms	(/ 1 (* (sqrt x) (/ 3.0 y)))

series421.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ 1 (* (sqrt x) (/ 3.0 y))))
118.0ms	(* (sqrt x) (/ 3.0 y))
53.0ms	(/ 1.0 (* x 9.0))
148.0ms	(/ 1 (* (sqrt x) (/ 3.0 y)))

simplify2.2s

Counts

378 → 378

Iterations

Iter	Nodes
done	5001
1	2021
0	694

prune1.7s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes138.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	12
0	12

end0.0ms

sample3.2s

Algorithm

intervals

Results

1.5s	8486×	body	80	nan
1.2s	8543×	body	80	valid