Details

sample80.0ms

Algorithm

intervals

Results

41.0ms	368×	body	80	valid
11.0ms	129×	body	80	nan

simplify2.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
6	2300
5	639
4	204
3	87
2	47
1	26
0	12

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.2b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ (* (+ k 10) k) 1) (pow k m))
0.0b	(+ (* (+ k 10) k) 1)
0.0b	(* (+ k 10) k)
2.2b	(/ a (/ (+ (* (+ k 10) k) 1) (pow k m)))

rewrite141.0ms

Algorithm

rewrite-expression-head

Rules

180×	`times-frac`
106×	`add-sqr-sqrt` `*-un-lft-identity`
104×	`add-cube-cbrt`
48×	`unpow-prod-down`
32×	`associate-/r*`
21×	`add-exp-log`
16×	`sqr-pow`
13×	`add-cbrt-cube`
10×	`div-exp`
6×	`pow1` `div-inv` `associate-/l*` `add-log-exp`
4×	`cbrt-undiv` `associate-l` `insert-posit16`
3×	`flip3-+` `associate-r` `flip-+`
2×	`pow-to-exp` `clear-num` `frac-2neg` `associate-*l/` `pow-exp` `associate-/l/`
1×	`+-commutative` `sum-log` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

4 → 203

Calls

4 calls:

57.0ms	(/ (+ (* (+ k 10) k) 1) (pow k m))
19.0ms	(+ (* (+ k 10) k) 1)
29.0ms	(* (+ k 10) k)
30.0ms	(/ a (/ (+ (* (+ k 10) k) 1) (pow k m)))

series325.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(/ (+ (* (+ k 10) k) 1) (pow k m))
24.0ms	(+ (* (+ k 10) k) 1)
59.0ms	(* (+ k 10) k)
152.0ms	(/ a (/ (+ (* (+ k 10) k) 1) (pow k m)))

simplify2.6s

Counts

215 → 215

Iterations

Iter	Nodes
done	5000
2	3115
1	982
0	370

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 2.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (+ k 10) k) 1)
0.0b	(* (+ k 10) k)
0.1b	(/ 1 (/ (/ (+ (* (+ k 10) k) 1) (pow k m)) a))
2.2b	(/ (/ (+ (* (+ k 10) k) 1) (pow k m)) a)

rewrite120.0ms

Algorithm

rewrite-expression-head

Rules

948×	`times-frac`
442×	`add-sqr-sqrt` `*-un-lft-identity`
440×	`add-cube-cbrt`
144×	`unpow-prod-down`
82×	`associate-/r*`
54×	`add-exp-log`
48×	`sqr-pow`
38×	`div-exp`
28×	`associate-/l*`
22×	`div-inv`
20×	`add-cbrt-cube`
9×	`cbrt-undiv`
7×	`pow1`
6×	`add-log-exp`
5×	`rec-exp` `1-exp`
4×	`pow-to-exp` `associate-l` `pow-exp` `insert-posit16`
3×	`associate-r`
2×	`clear-num` `frac-2neg` `flip3-+` `associate-*l/` `flip-+`
1×	`+-commutative` `sum-log` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `pow-flip` `distribute-lft-out` `inv-pow` `unswap-sqr` `associate-/l/`

Counts

4 → 506

Calls

4 calls:

9.0ms	(+ (* (+ k 10) k) 1)
17.0ms	(* (+ k 10) k)
27.0ms	(/ 1 (/ (/ (+ (* (+ k 10) k) 1) (pow k m)) a))
47.0ms	(/ (/ (+ (* (+ k 10) k) 1) (pow k m)) a)

series351.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(+ (* (+ k 10) k) 1)
63.0ms	(* (+ k 10) k)
122.0ms	(/ 1 (/ (/ (+ (* (+ k 10) k) 1) (pow k m)) a))
147.0ms	(/ (/ (+ (* (+ k 10) k) 1) (pow k m)) a)

simplify3.3s

Counts

518 → 518

Iterations

Iter	Nodes
done	5001
1	2282
0	819

prune3.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (* k k) (* k 10)) 1)
0.0b	(+ (* k k) (* k 10))
0.1b	(/ 1 (/ (/ (+ (+ (* k k) (* k 10)) 1) (pow k m)) a))
2.2b	(/ (/ (+ (+ (* k k) (* k 10)) 1) (pow k m)) a)

rewrite204.0ms

Algorithm

rewrite-expression-head

Rules

1228×	`times-frac`
752×	`*-un-lft-identity`
526×	`add-sqr-sqrt` `add-cube-cbrt`
192×	`unpow-prod-down`
114×	`distribute-lft-out`
103×	`associate-/r*`
64×	`sqr-pow`
52×	`add-exp-log`
38×	`div-exp`
35×	`associate-/l*`
22×	`div-inv`
18×	`add-cbrt-cube`
11×	`add-log-exp`
9×	`cbrt-undiv`
5×	`pow1` `rec-exp` `1-exp`
4×	`pow-to-exp` `sum-log` `pow-exp` `insert-posit16`
2×	`+-commutative` `clear-num` `frac-2neg` `flip3-+` `flip-+`
1×	`associate-+l+` `associate-/r/` `pow-flip` `inv-pow` `associate-/l/`

Counts

4 → 612

Calls

4 calls:

29.0ms	(+ (+ (* k k) (* k 10)) 1)
7.0ms	(+ (* k k) (* k 10))
58.0ms	(/ 1 (/ (/ (+ (+ (* k k) (* k 10)) 1) (pow k m)) a))
76.0ms	(/ (/ (+ (+ (* k k) (* k 10)) 1) (pow k m)) a)

series346.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ (+ (* k k) (* k 10)) 1)
87.0ms	(+ (* k k) (* k 10))
114.0ms	(/ 1 (/ (/ (+ (+ (* k k) (* k 10)) 1) (pow k m)) a))
120.0ms	(/ (/ (+ (+ (* k k) (* k 10)) 1) (pow k m)) a)

simplify3.1s

Counts

624 → 624

Iterations

Iter	Nodes
done	5001
1	2340
0	815

prune2.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ k 10) k)
0.0b	(/ (/ a (/ (sqrt (+ (* (+ k 10) k) 1)) 1)) (/ (sqrt (+ (* (+ k 10) k) 1)) (pow k m)))
16.4b	(sqrt (+ (* (+ k 10) k) 1))
16.4b	(sqrt (+ (* (+ k 10) k) 1))

rewrite339.0ms

Algorithm

rewrite-expression-head

Rules

11930×	`times-frac`
4870×	`add-sqr-sqrt`
4868×	`*-un-lft-identity`
4866×	`add-cube-cbrt`
2787×	`sqrt-prod`
1296×	`unpow-prod-down`
432×	`sqr-pow`
261×	`div-inv`
71×	`associate-/l*`
62×	`add-exp-log`
48×	`div-exp` `associate-/r/`
46×	`associate-/r*`
27×	`add-cbrt-cube`
15×	`cbrt-undiv`
8×	`pow1`
4×	`pow-to-exp` `sqrt-div` `1-exp` `associate-l` `pow-exp` `insert-posit16` `add-log-exp`
3×	`flip3-+` `associate-r` `flip-+`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-*l/`
1×	`clear-num` `frac-2neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr` `associate-/l/`

Counts

4 → 3472

Calls

4 calls:

24.0ms	(* (+ k 10) k)
59.0ms	(/ (/ a (/ (sqrt (+ (* (+ k 10) k) 1)) 1)) (/ (sqrt (+ (* (+ k 10) k) 1)) (pow k m)))
11.0ms	(sqrt (+ (* (+ k 10) k) 1))
11.0ms	(sqrt (+ (* (+ k 10) k) 1))

series283.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(* (+ k 10) k)
140.0ms	(/ (/ a (/ (sqrt (+ (* (+ k 10) k) 1)) 1)) (/ (sqrt (+ (* (+ k 10) k) 1)) (pow k m)))
45.0ms	(sqrt (+ (* (+ k 10) k) 1))
44.0ms	(sqrt (+ (* (+ k 10) k) 1))

simplify6.2s

Counts

3484 → 3484

Iterations

Iter	Nodes
done	5001
0	4172

prune19.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes158.0ms

Accuracy

98% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 2.1b

bsearch82.0ms

Steps

Iters	Range		Point
7	2.6867937881504342e+109	5.161969344066879e+110	3.158753162179787e+109

simplify1.5s

Iterations

Iter	Nodes
done	5001
274	4997
273	4977
272	4961
271	4941
270	4925
269	4905
268	4889
267	4869
266	4853
265	4833
264	4817
263	4797
262	4781
261	4761
260	4745
259	4725
258	4709
257	4689
256	4673
255	4653
254	4637
253	4617
252	4601
251	4581
250	4565
249	4545
248	4529
247	4509
246	4493
245	4473
244	4457
243	4437
242	4421
241	4401
240	4385
239	4365
238	4349
237	4329
236	4313
235	4293
234	4277
233	4257
232	4241
231	4221
230	4205
229	4185
228	4169
227	4149
226	4133
225	4113
224	4097
223	4077
222	4061
221	4041
220	4025
219	4005
218	3989
217	3969
216	3953
215	3933
214	3917
213	3897
212	3881
211	3861
210	3845
209	3825
208	3809
207	3789
206	3773
205	3753
204	3737
203	3717
202	3701
201	3681
200	3665
199	3645
198	3629
197	3609
196	3593
195	3573
194	3557
193	3537
192	3521
191	3501
190	3485
189	3465
188	3449
187	3429
186	3413
185	3393
184	3377
183	3357
182	3341
181	3321
180	3305
179	3285
178	3269
177	3249
176	3233
175	3213
174	3197
173	3177
172	3161
171	3141
170	3125
169	3105
168	3089
167	3069
166	3053
165	3033
164	3017
163	2997
162	2981
161	2961
160	2945
159	2925
158	2909
157	2889
156	2873
155	2853
154	2837
153	2817
152	2801
151	2781
150	2765
149	2745
148	2729
147	2709
146	2693
145	2673
144	2657
143	2637
142	2621
141	2601
140	2585
139	2565
138	2549
137	2529
136	2513
135	2493
134	2477
133	2457
132	2441
131	2421
130	2405
129	2385
128	2369
127	2349
126	2333
125	2313
124	2297
123	2277
122	2261
121	2241
120	2225
119	2205
118	2189
117	2169
116	2153
115	2133
114	2117
113	2097
112	2081
111	2061
110	2045
109	2025
108	2009
107	1989
106	1973
105	1953
104	1937
103	1917
102	1901
101	1881
100	1865
99	1845
98	1829
97	1809
96	1793
95	1773
94	1757
93	1737
92	1721
91	1701
90	1685
89	1665
88	1649
87	1629
86	1613
85	1593
84	1577
83	1557
82	1541
81	1521
80	1505
79	1485
78	1469
77	1449
76	1433
75	1413
74	1397
73	1377
72	1361
71	1341
70	1325
69	1305
68	1289
67	1269
66	1253
65	1233
64	1217
63	1197
62	1181
61	1161
60	1145
59	1125
58	1109
57	1089
56	1073
55	1053
54	1037
53	1017
52	1001
51	981
50	965
49	945
48	929
47	909
46	893
45	873
44	857
43	837
42	821
41	801
40	785
39	765
38	749
37	729
36	713
35	693
34	677
33	657
32	641
31	621
30	605
29	585
28	569
27	549
26	533
25	513
24	497
23	477
22	461
21	441
20	425
19	405
18	389
17	369
16	353
15	333
14	317
13	297
12	281
11	261
10	245
9	225
8	209
7	189
6	173
5	161
4	125
3	100
2	75
1	58
0	34

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.2s	11893×	body	80	valid
342.0ms	4290×	body	80	nan