Details

sample80.0ms

Algorithm

intervals

Results

24.0ms	29×	body	1280	valid
20.0ms	181×	body	80	valid
12.0ms	23×	body	640	valid
6.0ms	16×	body	320	valid
1.0ms	7×	body	160	valid

simplify41.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	243
1	14	243
2	28	243
3	35	243
4	37	243
5	39	243
6	49	243
7	63	243
8	83	243
9	99	243
10	135	243
11	168	243
12	258	243
13	282	243
14	298	243
15	318	243
16	334	243
17	354	243
18	370	243
19	390	243
20	406	243
21	426	243
22	442	243
23	462	243
24	478	243
25	498	243
26	514	243
27	534	243
28	550	243
29	570	243
30	586	243
31	606	243
32	622	243
33	642	243
34	658	243
35	678	243
36	694	243
37	714	243
38	730	243
39	750	243
40	766	243
41	786	243
42	802	243
43	822	243
44	838	243
45	858	243
46	874	243
47	894	243
48	910	243
49	930	243
50	946	243
51	966	243
52	982	243
53	1002	243
54	1018	243
55	1038	243
56	1054	243
57	1074	243
58	1090	243
59	1110	243
60	1126	243
61	1146	243
62	1162	243
63	1182	243
64	1198	243
65	1218	243
66	1234	243
67	1254	243
68	1270	243
69	1290	243
70	1306	243
71	1326	243
72	1342	243
73	1362	243
74	1378	243
75	1398	243
76	1414	243
77	1434	243
78	1450	243
79	1470	243
80	1486	243
81	1506	243
82	1522	243
83	1542	243
84	1558	243
85	1578	243
86	1594	243
87	1614	243
88	1630	243
89	1650	243
90	1666	243
91	1686	243
92	1702	243
93	1722	243
94	1738	243
95	1758	243
96	1774	243
97	1794	243
98	1810	243
99	1830	243
100	1846	243
101	1866	243
102	1882	243
103	1902	243
104	1918	243
105	1938	243
106	1954	243
107	1974	243
108	1990	243
109	2010	243
110	2026	243
111	2046	243
112	2062	243
113	2082	243
114	2098	243
115	2118	243
116	2134	243
117	2154	243
118	2170	243
119	2190	243
120	2206	243
121	2226	243
122	2242	243
123	2262	243
124	2278	243
125	2298	243
126	2314	243
127	2334	243
128	2350	243
129	2370	243
130	2386	243
131	2406	243
132	2422	243
133	2442	243
134	2458	243
135	2478	243
136	2494	243
137	2514	243
138	2530	243
139	2550	243
140	2566	243
141	2586	243
142	2602	243
143	2622	243
144	2638	243
145	2658	243
146	2674	243
147	2694	243
148	2710	243
149	2730	243
150	2746	243
151	2766	243
152	2782	243
153	2802	243
154	2818	243
155	2838	243
156	2854	243
157	2874	243
158	2890	243
159	2910	243
160	2926	243
161	2946	243
162	2962	243
163	2982	243
164	2998	243
165	3018	243
166	3034	243
167	3054	243
168	3070	243
169	3090	243
170	3106	243
171	3126	243
172	3142	243
173	3162	243
174	3178	243
175	3198	243
176	3214	243
177	3234	243
178	3250	243
179	3270	243
180	3286	243
181	3306	243
182	3322	243
183	3342	243
184	3358	243
185	3378	243
186	3394	243
187	3414	243
188	3430	243
189	3450	243
190	3466	243
191	3486	243
192	3502	243
193	3522	243
194	3538	243
195	3558	243
196	3574	243
197	3594	243
198	3610	243
199	3630	243
200	3646	243
201	3666	243
202	3682	243
203	3702	243
204	3718	243
205	3738	243
206	3754	243
207	3774	243
208	3790	243
209	3810	243
210	3826	243
211	3846	243
212	3862	243
213	3882	243
214	3898	243
215	3918	243
216	3934	243
217	3954	243
218	3970	243
219	3990	243
220	4006	243
221	4026	243
222	4042	243
223	4062	243
224	4078	243
225	4098	243
226	4114	243
227	4134	243
228	4150	243
229	4170	243
230	4186	243
231	4206	243
232	4222	243
233	4242	243
234	4258	243
235	4278	243
236	4294	243
237	4314	243
238	4330	243
239	4350	243
240	4366	243
241	4386	243
242	4402	243
243	4422	243
244	4438	243
245	4458	243
246	4474	243
247	4494	243
248	4510	243
249	4530	243
250	4546	243
251	4566	243
252	4582	243
253	4602	243
254	4618	243
255	4638	243
256	4654	243
257	4674	243
258	4690	243
259	4710	243
260	4726	243
261	4746	243
262	4762	243
263	4782	243
264	4798	243
265	4818	243
266	4834	243
267	4854	243
268	4870	243
269	4890	243
270	4906	243
271	4926	243
272	4942	243
273	4962	243
274	4978	243
275	4998	243
done	5000	243

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (+ x (cos y)) (* z (sin y)))
0.1b	(* z (sin y))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-log-exp`
6×	`add-sqr-sqrt`
4×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
3×	`associate-r` `associate-l`
2×	`diff-log`
1×	`sum-log` `sub-neg` `flip3--` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`

Counts

2 → 32

Calls

2 calls:

60.0ms	(- (+ x (cos y)) (* z (sin y)))
20.0ms	(* z (sin y))

series114.0ms

Counts

2 → 6

Calls

2 calls:

61.0ms	(- (+ x (cos y)) (* z (sin y)))
53.0ms	(* z (sin y))

simplify2.1s

Counts

38 → 38

Iterations

Useful iterations: 2 (108.0ms)

Iter	Nodes	Cost
0	67	9239
1	155	8446
2	439	8366
3	1778	8366
done	5000	8366

prune171.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt z) (cbrt z))
0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

9.0ms	(* (cbrt z) (cbrt z))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series1.1s

Counts

4 → 12

Calls

4 calls:

264.0ms	(* (cbrt z) (cbrt z))
287.0ms	(cbrt z)
275.0ms	(cbrt z)
238.0ms	(cbrt z)

simplify3.5s

Counts

85 → 85

Iterations

Useful iterations: done (3.4s)

Iter	Nodes	Cost
0	61	17134
1	136	14621
2	377	14346
3	971	13666
4	3114	13666
done	5028	13626

prune537.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize86.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `add-log-exp`

Counts

4 → 44

Calls

4 calls:

1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)
2.0ms	(cbrt z)

series1.2s

Counts

4 → 12

Calls

4 calls:

281.0ms	(cbrt z)
330.0ms	(cbrt z)
287.0ms	(cbrt z)
254.0ms	(cbrt z)

simplify3.0s

Counts

56 → 56

Iterations

Useful iterations: 3 (75.0ms)

Iter	Nodes	Cost
0	24	10684
1	44	9316
2	94	9160
3	189	8520
4	441	8520
5	1290	8520
done	5000	8520

prune492.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (sqrt z) (sin y))
0.2b	(* (sqrt z) (* (sqrt z) (sin y)))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-l`
11×	`add-sqr-sqrt`
9×	`pow1` `add-cbrt-cube` `add-exp-log`
7×	`*-un-lft-identity` `add-cube-cbrt` `sqrt-prod`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`*-commutative` `add-log-exp` `unswap-sqr`

Counts

2 → 43

Calls

2 calls:

19.0ms	(* (sqrt z) (sin y))
43.0ms	(* (sqrt z) (* (sqrt z) (sin y)))

series173.0ms

Counts

2 → 6

Calls

2 calls:

118.0ms	(* (sqrt z) (sin y))
54.0ms	(* (sqrt z) (* (sqrt z) (sin y)))

simplify2.7s

Counts

49 → 49

Iterations

Useful iterations: done (2.7s)

Iter	Nodes	Cost
0	77	12676
1	204	10930
2	556	9770
3	1705	9370
done	5000	9330

prune283.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.0b

regimes347.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	243
1	10	243
done	10	243

end0.0ms

sample2.8s

Algorithm

intervals

Results

1.2s	5659×	body	80	valid
813.0ms	951×	body	1280	valid
412.0ms	761×	body	640	valid
135.0ms	418×	body	320	valid
48.0ms	211×	body	160	valid