Details

sample35.0ms

Algorithm

intervals

Results

13.0ms	55×	body	1280	valid
5.0ms	130×	body	80	valid
5.0ms	38×	body	640	valid
3.0ms	29×	body	320	valid
0.0ms	4×	body	160	valid

simplify3.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	13
1	12	13
2	16	13
3	19	13
4	21	13
5	27	13
6	39	13
7	58	13
8	76	13
9	97	13
10	129	13
11	152	13
12	171	13
13	186	13
14	210	13
15	227	13
16	241	13
17	265	13
18	282	13
19	296	13
20	320	13
21	336	13
22	350	13
23	371	13
24	387	13
25	401	13
26	422	13
27	438	13
28	452	13
29	473	13
30	489	13
31	503	13
32	524	13
33	540	13
34	554	13
35	575	13
36	591	13
37	605	13
38	626	13
39	642	13
40	656	13
41	677	13
42	693	13
43	707	13
44	728	13
45	744	13
46	758	13
47	779	13
48	795	13
49	809	13
50	830	13
51	846	13
52	860	13
53	881	13
54	897	13
55	911	13
56	932	13
57	948	13
58	962	13
59	983	13
60	999	13
61	1013	13
62	1034	13
63	1050	13
64	1064	13
65	1085	13
66	1101	13
67	1115	13
68	1136	13
69	1152	13
70	1166	13
71	1187	13
72	1203	13
73	1217	13
74	1238	13
75	1254	13
76	1268	13
77	1289	13
78	1305	13
79	1319	13
80	1340	13
81	1356	13
82	1370	13
83	1391	13
84	1407	13
85	1421	13
86	1442	13
87	1458	13
88	1472	13
89	1493	13
90	1509	13
91	1523	13
92	1544	13
93	1560	13
94	1574	13
95	1595	13
96	1611	13
97	1625	13
98	1646	13
99	1662	13
100	1676	13
101	1697	13
102	1713	13
103	1727	13
104	1748	13
105	1764	13
106	1778	13
107	1799	13
108	1815	13
109	1829	13
110	1850	13
111	1866	13
112	1880	13
113	1901	13
114	1917	13
115	1931	13
116	1952	13
117	1968	13
118	1982	13
119	2003	13
120	2019	13
121	2033	13
122	2054	13
123	2070	13
124	2084	13
125	2105	13
126	2121	13
127	2135	13
128	2156	13
129	2172	13
130	2186	13
131	2207	13
132	2223	13
133	2237	13
134	2258	13
135	2274	13
136	2288	13
137	2309	13
138	2325	13
139	2339	13
140	2360	13
141	2376	13
142	2390	13
143	2411	13
144	2427	13
145	2441	13
146	2462	13
147	2478	13
148	2492	13
149	2513	13
150	2529	13
151	2543	13
152	2564	13
153	2580	13
154	2594	13
155	2615	13
156	2631	13
157	2645	13
158	2666	13
159	2682	13
160	2696	13
161	2717	13
162	2733	13
163	2747	13
164	2768	13
165	2784	13
166	2798	13
167	2819	13
168	2835	13
169	2849	13
170	2870	13
171	2886	13
172	2900	13
173	2921	13
174	2937	13
175	2951	13
176	2972	13
177	2988	13
178	3002	13
179	3023	13
180	3039	13
181	3053	13
182	3074	13
183	3090	13
184	3104	13
185	3125	13
186	3141	13
187	3155	13
188	3176	13
189	3192	13
190	3206	13
191	3227	13
192	3243	13
193	3257	13
194	3278	13
195	3294	13
196	3308	13
197	3329	13
198	3345	13
199	3359	13
200	3380	13
201	3396	13
202	3410	13
203	3431	13
204	3447	13
205	3461	13
206	3482	13
207	3498	13
208	3512	13
209	3533	13
210	3549	13
211	3563	13
212	3584	13
213	3600	13
214	3614	13
215	3635	13
216	3651	13
217	3665	13
218	3686	13
219	3702	13
220	3716	13
221	3737	13
222	3753	13
223	3767	13
224	3788	13
225	3804	13
226	3818	13
227	3839	13
228	3855	13
229	3869	13
230	3890	13
231	3906	13
232	3920	13
233	3941	13
234	3957	13
235	3971	13
236	3992	13
237	4008	13
238	4022	13
239	4043	13
240	4059	13
241	4073	13
242	4094	13
243	4110	13
244	4124	13
245	4145	13
246	4161	13
247	4175	13
248	4196	13
249	4212	13
250	4226	13
251	4247	13
252	4263	13
253	4277	13
254	4298	13
255	4314	13
256	4328	13
257	4349	13
258	4365	13
259	4379	13
260	4400	13
261	4416	13
262	4430	13
263	4451	13
264	4467	13
265	4481	13
266	4502	13
267	4518	13
268	4532	13
269	4553	13
270	4569	13
271	4583	13
272	4604	13
273	4620	13
274	4634	13
275	4655	13
276	4671	13
277	4685	13
278	4706	13
279	4722	13
280	4736	13
281	4757	13
282	4773	13
283	4787	13
284	4808	13
285	4824	13
286	4838	13
287	4859	13
288	4875	13
289	4889	13
290	4910	13
291	4926	13
292	4940	13
293	4961	13
294	4977	13
295	4991	13
done	5000	13

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 29.8b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (+ x 1.0) (- x 1.0))
0.0b	(/ x (+ x 1.0))
3.1b	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

99×	`*-un-lft-identity`
52×	`times-frac`
45×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
18×	`distribute-lft-out` `distribute-lft-out--`
9×	`associate-/r*` `difference-of-squares`
7×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
5×	`add-log-exp`
4×	`associate-/r/`
3×	`pow1`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `associate-/l/`
1×	`sub-neg` `diff-log` `frac-sub`

Counts

3 → 104

Calls

3 calls:

8.0ms	(/ (+ x 1.0) (- x 1.0))
5.0ms	(/ x (+ x 1.0))
34.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series14.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ (+ x 1.0) (- x 1.0))
3.0ms	(/ x (+ x 1.0))
8.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify690.0ms

Counts

113 → 113

Iterations

Useful iterations: 3 (316.0ms)

Iter	Nodes	Cost
0	176	1584
1	399	1503
2	1161	1427
3	3134	1414
done	5000	1414

prune198.0ms

Filtered

76 candidates to 113 candidates (-48.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	108	5	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	5	114

Merged error: 0.0b

Counts

114 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(log (exp (/ (+ x 1.0) (- x 1.0))))
0.0b	(exp (/ (+ x 1.0) (- x 1.0)))
3.1b	(- (/ x (+ x 1.0)) (log (exp (/ (+ x 1.0) (- x 1.0)))))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

82×	`*-un-lft-identity`
56×	`add-sqr-sqrt`
53×	`times-frac`
52×	`exp-prod`
35×	`add-cube-cbrt`
28×	`log-pow`
14×	`distribute-lft-out`
10×	`distribute-lft-out--` `difference-of-squares`
6×	`pow1` `add-exp-log` `log-prod` `associate-/r/` `add-cbrt-cube` `add-log-exp`
4×	`associate-/r*`
3×	`flip3--` `flip--` `div-inv` `associate-/l*` `associate--r+`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `rem-log-exp` `clear-num` `flip-+` `rem-exp-log`

Counts

4 → 124

Calls

4 calls:

5.0ms	(/ x (+ x 1.0))
11.0ms	(log (exp (/ (+ x 1.0) (- x 1.0))))
13.0ms	(exp (/ (+ x 1.0) (- x 1.0)))
38.0ms	(- (/ x (+ x 1.0)) (log (exp (/ (+ x 1.0) (- x 1.0)))))

series19.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ x (+ x 1.0))
3.0ms	(log (exp (/ (+ x 1.0) (- x 1.0))))
4.0ms	(exp (/ (+ x 1.0) (- x 1.0)))
8.0ms	(- (/ x (+ x 1.0)) (log (exp (/ (+ x 1.0) (- x 1.0)))))

simplify638.0ms

Counts

136 → 136

Iterations

Useful iterations: done (634.0ms)

Iter	Nodes	Cost
0	212	1758
1	423	1532
2	1104	1436
3	2801	1411
done	5001	1409

prune213.0ms

Filtered

96 candidates to 136 candidates (-41.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	136	5	141

Merged error: 0.0b

Counts

141 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
0.0b	(pow (/ (+ x 1.0) (- x 1.0)) 3)
3.1b	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

137×	`*-un-lft-identity`
124×	`add-sqr-sqrt`
103×	`times-frac`
70×	`cbrt-prod`
56×	`unpow-prod-down` `cube-prod`
55×	`add-cube-cbrt`
30×	`difference-of-squares`
24×	`distribute-lft-out`
17×	`distribute-lft-out--`
10×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`add-log-exp`
5×	`pow1` `flip3--` `flip--` `div-inv`
4×	`associate-/r*` `sqr-pow`
3×	`cube-div` `pow-unpow` `associate-/l*`
2×	`cbrt-undiv` `cube-mult` `cbrt-div` `unpow3` `div-exp` `pow-exp` `rem-cube-cbrt`
1×	`pow-to-exp` `sub-neg` `pow-pow` `frac-2neg` `flip3-+` `pow1/3` `diff-log` `clear-num` `frac-sub` `rem-cbrt-cube` `flip-+`

Counts

4 → 201

Calls

4 calls:

6.0ms	(/ x (+ x 1.0))
15.0ms	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
11.0ms	(pow (/ (+ x 1.0) (- x 1.0)) 3)
63.0ms	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

series22.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ x (+ x 1.0))
5.0ms	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
4.0ms	(pow (/ (+ x 1.0) (- x 1.0)) 3)
11.0ms	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

simplify612.0ms

Counts

213 → 213

Iterations

Useful iterations: done (598.0ms)

Iter	Nodes	Cost
0	293	4170
1	763	3464
2	2523	3224
done	5001	3200

prune239.0ms

Filtered

109 candidates to 213 candidates (-95.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	213	0	213
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	213	5	218

Merged error: 0.0b

Counts

218 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x 1.0) (- x 1.0))
0.0b	(* (+ x 1.0) (+ x 1.0))
0.0b	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (+ x 1.0) (- x 1.0)))
18.6b	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

46×	`associate-*r/`
36×	`flip3-+` `flip-+`
32×	`frac-sub`
30×	`*-un-lft-identity`
28×	`frac-times`
24×	`flip3--` `flip--`
18×	`add-sqr-sqrt` `associate-/l/`
14×	`associate-*l/`
13×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt`
9×	`associate-r`
8×	`associate-l` `associate-/r/`
7×	`distribute-lft-out`
6×	`distribute-rgt-in` `distribute-lft-in` `swap-sqr` `add-log-exp`
5×	`sub-neg`
4×	`associate--l+`
3×	`times-frac` `prod-exp` `cbrt-unprod` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `associate--r+` `unswap-sqr`
1×	`pow2` `frac-2neg` `pow-plus` `diff-log` `div-sub` `clear-num` `associate-/r*` `pow-sqr` `pow-prod-up` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 155

Calls

4 calls:

10.0ms	(* (+ x 1.0) (- x 1.0))
9.0ms	(* (+ x 1.0) (+ x 1.0))
22.0ms	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (+ x 1.0) (- x 1.0)))
10.0ms	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

series19.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (+ x 1.0) (- x 1.0))
2.0ms	(* (+ x 1.0) (+ x 1.0))
6.0ms	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (+ x 1.0) (- x 1.0)))
4.0ms	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

simplify1.1s

Counts

167 → 167

Iterations

Useful iterations: 2 (299.0ms)

Iter	Nodes	Cost
0	250	3724
1	785	3472
2	4113	3034
done	5000	3034

prune280.0ms

Filtered

115 candidates to 167 candidates (-45.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	166	1	167
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	168	4	172

Merged error: 0b

Counts

172 → 4

regimes44.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch39.0ms

Steps

Iters	Range		Point
11	901.3230478674768	3.453863445390637e+32	1208365.1148162424
8	-1.446720947063474e+35	-5.322052552197638e+32	-8.86080339333129e+33

simplify5.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	25	54
1	39	39
2	46	39
done	46	39

end0.0ms

sample865.0ms

Algorithm

intervals

Results

300.0ms	1718×	body	1280	valid
163.0ms	1194×	body	640	valid
157.0ms	4175×	body	80	valid
65.0ms	606×	body	320	valid
21.0ms	307×	body	160	valid

Details

sample35.0ms

simplify3.3s

prune2.0ms

localize6.0ms

rewrite53.0ms

series14.0ms

simplify690.0ms

prune198.0ms

localize10.0ms

rewrite73.0ms

series19.0ms

simplify638.0ms

prune213.0ms

localize10.0ms

rewrite106.0ms

series22.0ms

simplify612.0ms

prune239.0ms

localize9.0ms

rewrite58.0ms

series19.0ms

simplify1.1s

prune280.0ms

regimes44.0ms

bsearch39.0ms

simplify5.0ms

end0.0ms

sample865.0ms

Profiling