Details

sample78.0ms

Algorithm

intervals

Results

49.0ms	179×	body	1280	valid
7.0ms	276×	body	80	valid
5.0ms	34×	body	640	valid
2.0ms	25×	body	320	valid
1.0ms	12×	body	160	valid

simplify2.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	14	8
2	26	8
3	38	8
4	50	8
5	55	8
6	64	8
7	81	8
8	101	8
9	127	8
10	146	8
11	174	8
12	193	8
13	210	8
14	227	8
15	246	8
16	263	8
17	280	8
18	299	8
19	316	8
20	333	8
21	352	8
22	369	8
23	386	8
24	405	8
25	422	8
26	439	8
27	458	8
28	475	8
29	492	8
30	511	8
31	528	8
32	545	8
33	564	8
34	581	8
35	598	8
36	617	8
37	634	8
38	651	8
39	670	8
40	687	8
41	704	8
42	723	8
43	740	8
44	757	8
45	776	8
46	793	8
47	810	8
48	829	8
49	846	8
50	863	8
51	882	8
52	899	8
53	916	8
54	935	8
55	952	8
56	969	8
57	988	8
58	1005	8
59	1022	8
60	1041	8
61	1058	8
62	1075	8
63	1094	8
64	1111	8
65	1128	8
66	1147	8
67	1164	8
68	1181	8
69	1200	8
70	1217	8
71	1234	8
72	1253	8
73	1270	8
74	1287	8
75	1306	8
76	1323	8
77	1340	8
78	1359	8
79	1376	8
80	1393	8
81	1412	8
82	1429	8
83	1446	8
84	1465	8
85	1482	8
86	1499	8
87	1518	8
88	1535	8
89	1552	8
90	1571	8
91	1588	8
92	1605	8
93	1624	8
94	1641	8
95	1658	8
96	1677	8
97	1694	8
98	1711	8
99	1730	8
100	1747	8
101	1764	8
102	1783	8
103	1800	8
104	1817	8
105	1836	8
106	1853	8
107	1870	8
108	1889	8
109	1906	8
110	1923	8
111	1942	8
112	1959	8
113	1976	8
114	1995	8
115	2012	8
116	2029	8
117	2048	8
118	2065	8
119	2082	8
120	2101	8
121	2118	8
122	2135	8
123	2154	8
124	2171	8
125	2188	8
126	2207	8
127	2224	8
128	2241	8
129	2260	8
130	2277	8
131	2294	8
132	2313	8
133	2330	8
134	2347	8
135	2366	8
136	2383	8
137	2400	8
138	2419	8
139	2436	8
140	2453	8
141	2472	8
142	2489	8
143	2506	8
144	2525	8
145	2542	8
146	2559	8
147	2578	8
148	2595	8
149	2612	8
150	2631	8
151	2648	8
152	2665	8
153	2684	8
154	2701	8
155	2718	8
156	2737	8
157	2754	8
158	2771	8
159	2790	8
160	2807	8
161	2824	8
162	2843	8
163	2860	8
164	2877	8
165	2896	8
166	2913	8
167	2930	8
168	2949	8
169	2966	8
170	2983	8
171	3002	8
172	3019	8
173	3036	8
174	3055	8
175	3072	8
176	3089	8
177	3108	8
178	3125	8
179	3142	8
180	3161	8
181	3178	8
182	3195	8
183	3214	8
184	3231	8
185	3248	8
186	3267	8
187	3284	8
188	3301	8
189	3320	8
190	3337	8
191	3354	8
192	3373	8
193	3390	8
194	3407	8
195	3426	8
196	3443	8
197	3460	8
198	3479	8
199	3496	8
200	3513	8
201	3532	8
202	3549	8
203	3566	8
204	3585	8
205	3602	8
206	3619	8
207	3638	8
208	3655	8
209	3672	8
210	3691	8
211	3708	8
212	3725	8
213	3744	8
214	3761	8
215	3778	8
216	3797	8
217	3814	8
218	3831	8
219	3850	8
220	3867	8
221	3884	8
222	3903	8
223	3920	8
224	3937	8
225	3956	8
226	3973	8
227	3990	8
228	4009	8
229	4026	8
230	4043	8
231	4062	8
232	4079	8
233	4096	8
234	4115	8
235	4132	8
236	4149	8
237	4168	8
238	4185	8
239	4202	8
240	4221	8
241	4238	8
242	4255	8
243	4274	8
244	4291	8
245	4308	8
246	4327	8
247	4344	8
248	4361	8
249	4380	8
250	4397	8
251	4414	8
252	4433	8
253	4450	8
254	4467	8
255	4486	8
256	4503	8
257	4520	8
258	4539	8
259	4556	8
260	4573	8
261	4592	8
262	4609	8
263	4626	8
264	4645	8
265	4662	8
266	4679	8
267	4698	8
268	4715	8
269	4732	8
270	4751	8
271	4768	8
272	4785	8
273	4804	8
274	4821	8
275	4838	8
276	4857	8
277	4874	8
278	4891	8
279	4910	8
280	4927	8
281	4944	8
282	4963	8
283	4980	8
284	4997	8
done	5000	8

prune3.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.4b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (exp x) 2.0)
4.9b	(+ (- (exp x) 2.0) (exp (neg x)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity` `add-log-exp`
4×	`add-sqr-sqrt` `frac-add`
3×	`flip3--` `flip--`
2×	`pow1` `add-exp-log` `neg-sub0` `exp-neg` `add-cube-cbrt` `sub-neg` `associate-+l+` `exp-diff` `diff-log` `sum-log` `add-cbrt-cube` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3-+` `flip-+` `difference-of-squares`

Counts

2 → 35

Calls

2 calls:

8.0ms	(- (exp x) 2.0)
9.0ms	(+ (- (exp x) 2.0) (exp (neg x)))

series10.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(- (exp x) 2.0)
8.0ms	(+ (- (exp x) 2.0) (exp (neg x)))

simplify548.0ms

Counts

41 → 41

Iterations

Useful iterations: 3 (170.0ms)

Iter	Nodes	Cost
0	93	511
1	213	465
2	562	445
3	1839	432
done	5000	432

prune65.0ms

Filtered

28 candidates to 41 candidates (-46.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	40	2	42

Merged error: 0.0b

Counts

42 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow x 4)
0.0b	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
0.1b	(* 1/360 (pow x 6))
0.1b	(* 1/12 (pow x 4))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
15×	`add-exp-log`
14×	`associate-r`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`unpow-prod-down`
8×	`add-cbrt-cube`
6×	`associate-l` `prod-exp` `add-log-exp` `unswap-sqr`
5×	`pow1` `sqr-pow`
3×	`pow-to-exp` `pow-unpow` `pow-exp`
2×	`*-commutative` `cbrt-unprod`
1×	`+-commutative` `pow-pow` `flip3-+` `sum-log` `flip-+`

Counts

4 → 78

Calls

4 calls:

2.0ms	(pow x 4)
5.0ms	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
6.0ms	(* 1/360 (pow x 6))
6.0ms	(* 1/12 (pow x 4))

series28.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(pow x 4)
16.0ms	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
5.0ms	(* 1/360 (pow x 6))
4.0ms	(* 1/12 (pow x 4))

simplify1.0s

Counts

90 → 90

Iterations

Useful iterations: 3 (268.0ms)

Iter	Nodes	Cost
0	120	801
1	287	699
2	830	657
3	3022	639
done	5000	639

prune145.0ms

Filtered

55 candidates to 90 candidates (-63.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	90	2	92

Merged error: 0.0b

Counts

92 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
0.0b	(+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))
0.0b	(pow (exp x) 3)
5.2b	(+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
12×	`add-sqr-sqrt`
10×	`add-cube-cbrt`
8×	`add-log-exp`
7×	`pow1` `flip3-+` `add-cbrt-cube` `flip-+`
6×	`associate-*r/`
5×	`add-exp-log` `associate-r`
4×	`associate-+l+` `pow-pow` `associate-*l/` `frac-add`
3×	`distribute-rgt-in` `unpow-prod-down` `pow-unpow` `exp-prod` `distribute-lft-in` `cube-prod` `associate-l`
2×	`+-commutative` `sum-log` `distribute-lft-out`
1×	`cube-mult` `pow-to-exp` `unpow3` `pow-prod-down` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `rem-cube-cbrt` `unswap-sqr` `sqr-pow`

Counts

4 → 80

Calls

4 calls:

29.0ms	(* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
11.0ms	(+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))
4.0ms	(pow (exp x) 3)
26.0ms	(+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))

series35.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
5.0ms	(+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))
5.0ms	(pow (exp x) 3)
15.0ms	(+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))

simplify890.0ms

Counts

92 → 92

Iterations

Useful iterations: 2 (203.0ms)

Iter	Nodes	Cost
0	190	1794
1	573	1656
2	2648	1555
done	5000	1555

prune413.0ms

Filtered

67 candidates to 92 candidates (-37.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	90	2	92
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	91	3	94

Merged error: 0.0b

Counts

94 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))
0.0b	(* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
0.0b	(pow (exp x) 3)
5.2b	(+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
16×	`add-sqr-sqrt`
12×	`add-cube-cbrt`
9×	`pow1` `add-cbrt-cube`
8×	`associate-r/` `associate-r*`
7×	`flip3-+` `flip-+`
6×	`add-exp-log` `associate-l` `add-log-exp`
4×	`pow-pow` `associate-*l/` `frac-add`
3×	`distribute-rgt-in` `unpow-prod-down` `pow-unpow` `exp-prod` `distribute-lft-in` `cube-prod`
2×	`associate-+l+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`
1×	`+-commutative` `cube-mult` `pow-to-exp` `unpow3` `pow-exp` `sum-log` `distribute-lft-out--` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 89

Calls

4 calls:

7.0ms	(* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))
28.0ms	(* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
4.0ms	(pow (exp x) 3)
26.0ms	(+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))

series40.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))
10.0ms	(* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
5.0ms	(pow (exp x) 3)
15.0ms	(+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))

simplify997.0ms

Counts

101 → 101

Iterations

Useful iterations: 2 (220.0ms)

Iter	Nodes	Cost
0	198	1932
1	612	1790
2	3090	1674
done	5001	1674

prune200.0ms

Filtered

70 candidates to 101 candidates (-44.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	101	3	104

Merged error: 0.0b

Counts

104 → 3

regimes33.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	17	15
done	17	15

end0.0ms

sample2.4s

Algorithm

intervals

Results

1.5s	5618×	body	1280	valid
228.0ms	8066×	body	80	valid
201.0ms	1260×	body	640	valid
63.0ms	622×	body	320	valid
25.0ms	328×	body	160	valid

Details

sample78.0ms

simplify2.7s

prune3.0ms

localize6.0ms

rewrite17.0ms

series10.0ms

simplify548.0ms

prune65.0ms

localize10.0ms

rewrite20.0ms

series28.0ms

simplify1.0s

prune145.0ms

localize22.0ms

rewrite73.0ms

series35.0ms

simplify890.0ms

prune413.0ms

localize18.0ms

rewrite68.0ms

series40.0ms

simplify997.0ms

prune200.0ms

regimes33.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.4s

Profiling