Details

sample332.0ms

Algorithm

intervals

Results

243.0ms	274×	body	80	valid
25.0ms	300×	body	80	nan

simplify19.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
358	4990
357	4973
356	4963
355	4946
354	4936
353	4919
352	4909
351	4892
350	4882
349	4865
348	4855
347	4838
346	4828
345	4811
344	4801
343	4784
342	4774
341	4757
340	4747
339	4730
338	4720
337	4703
336	4693
335	4676
334	4666
333	4649
332	4639
331	4622
330	4612
329	4595
328	4589
327	4568
326	4558
325	4545
324	4535
323	4514
322	4506
321	4489
320	4479
319	4462
318	4452
317	4435
316	4425
315	4408
314	4398
313	4381
312	4371
311	4354
310	4344
309	4327
308	4317
307	4300
306	4290
305	4273
304	4263
303	4246
302	4236
301	4219
300	4213
299	4192
298	4182
297	4169
296	4159
295	4138
294	4130
293	4113
292	4107
291	4086
290	4076
289	4063
288	4053
287	4032
286	4024
285	4007
284	3997
283	3980
282	3970
281	3953
280	3943
279	3926
278	3916
277	3899
276	3889
275	3872
274	3862
273	3845
272	3839
271	3818
270	3808
269	3795
268	3785
267	3764
266	3758
265	3737
264	3727
263	3714
262	3704
261	3683
260	3675
259	3658
258	3648
257	3631
256	3621
255	3604
254	3594
253	3577
252	3567
251	3550
250	3540
249	3523
248	3513
247	3496
246	3486
245	3469
244	3459
243	3442
242	3432
241	3415
240	3405
239	3388
238	3382
237	3361
236	3351
235	3338
234	3328
233	3307
232	3299
231	3282
230	3272
229	3255
228	3245
227	3228
226	3218
225	3201
224	3191
223	3174
222	3164
221	3147
220	3137
219	3120
218	3114
217	3093
216	3083
215	3070
214	3060
213	3039
212	3033
211	3008
210	3000
209	2987
208	2977
207	2960
206	2952
205	2931
204	2923
203	2906
202	2896
201	2879
200	2869
199	2852
198	2842
197	2825
196	2815
195	2798
194	2788
193	2771
192	2761
191	2744
190	2734
189	2717
188	2711
187	2690
186	2680
185	2667
184	2657
183	2636
182	2630
181	2605
180	2597
179	2584
178	2574
177	2553
176	2545
175	2528
174	2518
173	2501
172	2491
171	2474
170	2464
169	2447
168	2441
167	2416
166	2408
165	2395
164	2385
163	2364
162	2358
161	2337
160	2327
159	2314
158	2304
157	2283
156	2275
155	2258
154	2248
153	2231
152	2221
151	2204
150	2194
149	2177
148	2167
147	2150
146	2140
145	2123
144	2117
143	2096
142	2086
141	2073
140	2063
139	2042
138	2036
137	2011
136	2003
135	1990
134	1980
133	1963
132	1955
131	1934
130	1926
129	1909
128	1899
127	1882
126	1872
125	1855
124	1845
123	1828
122	1818
121	1801
120	1791
119	1774
118	1764
117	1747
116	1737
115	1720
114	1714
113	1693
112	1683
111	1670
110	1660
109	1639
108	1631
107	1614
106	1608
105	1587
104	1577
103	1564
102	1554
101	1533
100	1525
99	1508
98	1502
97	1481
96	1471
95	1458
94	1448
93	1427
92	1419
91	1402
90	1392
89	1375
88	1365
87	1348
86	1338
85	1321
84	1311
83	1294
82	1284
81	1267
80	1257
79	1240
78	1230
77	1213
76	1203
75	1186
74	1180
73	1159
72	1149
71	1136
70	1126
69	1105
68	1097
67	1080
66	1070
65	1053
64	1043
63	1026
62	1020
61	999
60	989
59	976
58	966
57	945
56	937
55	920
54	910
53	893
52	883
51	866
50	856
49	839
48	829
47	812
46	802
45	785
44	775
43	758
42	748
41	731
40	721
39	704
38	694
37	677
36	667
35	650
34	640
33	623
32	617
31	596
30	588
29	573
28	563
27	550
26	542
25	521
24	513
23	498
22	488
21	475
20	465
19	448
18	440
17	423
16	415
15	396
14	388
13	375
12	365
11	340
10	321
9	289
8	225
7	130
6	98
5	88
4	81
3	62
2	41
1	24
0	12

prune14.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.3b	(/ y (* 3.0 (sqrt x)))
0.3b	(/ 1.0 (* x 9.0))
0.3b	(* 3.0 (sqrt x))

rewrite265.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
16×	`add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
11×	`add-cube-cbrt`
9×	`add-log-exp`
6×	`pow1` `times-frac` `associate-r` `associate-/l*`
4×	`cbrt-undiv` `div-exp` `sqrt-prod`
3×	`diff-log` `associate-l` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `frac-2neg` `associate--l+` `clear-num` `associate-/r*` `frac-sub` `flip--` `div-inv` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative` `difference-of-squares`

Counts

4 → 85

Calls

4 calls:

201.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
19.0ms	(/ y (* 3.0 (sqrt x)))
15.0ms	(/ 1.0 (* x 9.0))
24.0ms	(* 3.0 (sqrt x))

series383.0ms

Counts

4 → 12

Calls

4 calls:

105.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
113.0ms	(/ y (* 3.0 (sqrt x)))
36.0ms	(/ 1.0 (* x 9.0))
129.0ms	(* 3.0 (sqrt x))

simplify3.4s

Counts

97 → 97

Iterations

Iter	Nodes
done	5005
2	1741
1	528
0	215

prune1.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (/ 1.0 (* x 9.0)))
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))

rewrite530.0ms

Algorithm

rewrite-expression-head

Rules

150×	`times-frac`
101×	`add-sqr-sqrt`
90×	`*-un-lft-identity`
83×	`add-cube-cbrt`
44×	`sqrt-prod`
16×	`associate-/l*`
14×	`add-exp-log` `add-cbrt-cube`
11×	`add-log-exp`
9×	`div-inv`
7×	`associate-/r*`
6×	`difference-of-squares`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `diff-log` `distribute-lft-out--`
3×	`sub-neg` `flip3--` `flip--`
2×	`frac-2neg` `associate--l+` `clear-num` `frac-sub`
1×	`associate--l-` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 172

Calls

4 calls:

19.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
371.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
12.0ms	(/ 1.0 (* x 9.0))
68.0ms	(/ (/ y 3.0) (sqrt x))

series403.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
89.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
36.0ms	(/ 1.0 (* x 9.0))
188.0ms	(/ (/ y 3.0) (sqrt x))

simplify4.4s

Counts

184 → 184

Iterations

Iter	Nodes
done	5001
2	2093
1	781
0	336

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize146.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

225×	`times-frac`
148×	`add-sqr-sqrt`
130×	`*-un-lft-identity`
123×	`add-cube-cbrt`
44×	`sqrt-prod`
26×	`associate-/l*`
14×	`add-exp-log` `add-cbrt-cube`
13×	`div-inv`
11×	`add-log-exp`
9×	`associate-/r*`
8×	`difference-of-squares`
6×	`cbrt-undiv` `div-exp`
4×	`pow1` `diff-log` `distribute-lft-out--`
3×	`sub-neg` `flip3--` `flip--`
2×	`frac-2neg` `associate--l+` `clear-num` `frac-sub` `associate-/l/`
1×	`associate--l-`

Counts

4 → 223

Calls

4 calls:

50.0ms	(- 1.0 (/ (/ 1.0 x) 9.0))
828.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
16.0ms	(/ (/ 1.0 x) 9.0)
32.0ms	(/ (/ y 3.0) (sqrt x))

series620.0ms

Counts

4 → 12

Calls

4 calls:

100.0ms	(- 1.0 (/ (/ 1.0 x) 9.0))
211.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
58.0ms	(/ (/ 1.0 x) 9.0)
244.0ms	(/ (/ y 3.0) (sqrt x))

simplify6.8s

Counts

235 → 235

Iterations

Iter	Nodes
done	5001
2	2706
1	1029
0	436

prune3.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize77.0ms

Local error

Found 4 expressions with local error:

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

rewrite751.0ms

Algorithm

rewrite-expression-head

Rules

358×	`times-frac`
215×	`add-sqr-sqrt`
195×	`*-un-lft-identity`
193×	`add-cube-cbrt`
84×	`sqrt-prod`
82×	`associate-r`
33×	`add-exp-log`
26×	`associate-/l*`
23×	`add-cbrt-cube`
20×	`div-inv`
15×	`div-exp`
9×	`cbrt-undiv` `associate-/r*` `add-log-exp`
7×	`unswap-sqr`
6×	`pow1`
5×	`prod-exp`
3×	`diff-log` `associate-r/` `associate-l*` `cbrt-unprod`
2×	`sub-neg` `rec-exp` `flip3--` `frac-2neg` `1-exp` `associate--l+` `clear-num` `frac-sub` `flip--` `associate-/l/`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 312

Calls

4 calls:

506.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (* y (/ (/ 1 3.0) (sqrt x))))
102.0ms	(* y (/ (/ 1 3.0) (sqrt x)))
24.0ms	(/ (/ 1.0 x) 9.0)
31.0ms	(/ (/ 1 3.0) (sqrt x))

series460.0ms

Counts

4 → 12

Calls

4 calls:

132.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (* y (/ (/ 1 3.0) (sqrt x))))
117.0ms	(* y (/ (/ 1 3.0) (sqrt x)))
36.0ms	(/ (/ 1.0 x) 9.0)
175.0ms	(/ (/ 1 3.0) (sqrt x))

simplify7.4s

Counts

324 → 324

Iterations

Iter	Nodes
done	5001
2	3635
1	1358
0	521

prune4.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes708.0ms

Accuracy

0% (0.2b remaining)

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

bsearch6.0ms

simplify5.0ms

Iterations

Iter	Nodes
done	17
1	17
0	14

end0.0ms

sample3.6s

Algorithm

intervals

Results

1.7s	8322×	body	80	nan
1.3s	8505×	body	80	valid