Details

sample55.0ms

Algorithm

intervals

Results

16.0ms	29×	body	1280	valid
13.0ms	181×	body	80	valid
8.0ms	23×	body	640	valid
4.0ms	16×	body	320	valid
1.0ms	7×	body	160	valid

simplify40.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	243
1	14	243
2	28	243
3	39	243
4	51	243
5	53	243
6	63	243
7	87	243
8	107	243
9	128	243
10	171	243
11	210	243
12	340	243
13	434	243
14	450	243
15	470	243
16	486	243
17	506	243
18	522	243
19	542	243
20	558	243
21	578	243
22	594	243
23	614	243
24	630	243
25	650	243
26	666	243
27	686	243
28	702	243
29	722	243
30	738	243
31	758	243
32	774	243
33	794	243
34	810	243
35	830	243
36	846	243
37	866	243
38	882	243
39	902	243
40	918	243
41	938	243
42	954	243
43	974	243
44	990	243
45	1010	243
46	1026	243
47	1046	243
48	1062	243
49	1082	243
50	1098	243
51	1118	243
52	1134	243
53	1154	243
54	1170	243
55	1190	243
56	1206	243
57	1226	243
58	1242	243
59	1262	243
60	1278	243
61	1298	243
62	1314	243
63	1334	243
64	1350	243
65	1370	243
66	1386	243
67	1406	243
68	1422	243
69	1442	243
70	1458	243
71	1478	243
72	1494	243
73	1514	243
74	1530	243
75	1550	243
76	1566	243
77	1586	243
78	1602	243
79	1622	243
80	1638	243
81	1658	243
82	1674	243
83	1694	243
84	1710	243
85	1730	243
86	1746	243
87	1766	243
88	1782	243
89	1802	243
90	1818	243
91	1838	243
92	1854	243
93	1874	243
94	1890	243
95	1910	243
96	1926	243
97	1946	243
98	1962	243
99	1982	243
100	1998	243
101	2018	243
102	2034	243
103	2054	243
104	2070	243
105	2090	243
106	2106	243
107	2126	243
108	2142	243
109	2162	243
110	2178	243
111	2198	243
112	2214	243
113	2234	243
114	2250	243
115	2270	243
116	2286	243
117	2306	243
118	2322	243
119	2342	243
120	2358	243
121	2378	243
122	2394	243
123	2414	243
124	2430	243
125	2450	243
126	2466	243
127	2486	243
128	2502	243
129	2522	243
130	2538	243
131	2558	243
132	2574	243
133	2594	243
134	2610	243
135	2630	243
136	2646	243
137	2666	243
138	2682	243
139	2702	243
140	2718	243
141	2738	243
142	2754	243
143	2774	243
144	2790	243
145	2810	243
146	2826	243
147	2846	243
148	2862	243
149	2882	243
150	2898	243
151	2918	243
152	2934	243
153	2954	243
154	2970	243
155	2990	243
156	3006	243
157	3026	243
158	3042	243
159	3062	243
160	3078	243
161	3098	243
162	3114	243
163	3134	243
164	3150	243
165	3170	243
166	3186	243
167	3206	243
168	3222	243
169	3242	243
170	3258	243
171	3278	243
172	3294	243
173	3314	243
174	3330	243
175	3350	243
176	3366	243
177	3386	243
178	3402	243
179	3422	243
180	3438	243
181	3458	243
182	3474	243
183	3494	243
184	3510	243
185	3530	243
186	3546	243
187	3566	243
188	3582	243
189	3602	243
190	3618	243
191	3638	243
192	3654	243
193	3674	243
194	3690	243
195	3710	243
196	3726	243
197	3746	243
198	3762	243
199	3782	243
200	3798	243
201	3818	243
202	3834	243
203	3854	243
204	3870	243
205	3890	243
206	3906	243
207	3926	243
208	3942	243
209	3962	243
210	3978	243
211	3998	243
212	4014	243
213	4034	243
214	4050	243
215	4070	243
216	4086	243
217	4106	243
218	4122	243
219	4142	243
220	4158	243
221	4178	243
222	4194	243
223	4214	243
224	4230	243
225	4250	243
226	4266	243
227	4286	243
228	4302	243
229	4322	243
230	4338	243
231	4358	243
232	4374	243
233	4394	243
234	4410	243
235	4430	243
236	4446	243
237	4466	243
238	4482	243
239	4502	243
240	4518	243
241	4538	243
242	4554	243
243	4574	243
244	4590	243
245	4610	243
246	4626	243
247	4646	243
248	4662	243
249	4682	243
250	4698	243
251	4718	243
252	4734	243
253	4754	243
254	4770	243
255	4790	243
256	4806	243
257	4826	243
258	4842	243
259	4862	243
260	4878	243
261	4898	243
262	4914	243
263	4934	243
264	4950	243
265	4970	243
266	4986	243
done	5000	243

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 44

Calls

2 calls:

75.0ms	(- (+ x (cos y)) (* z (sin y)))
14.0ms	(* z (sin y))

series128.0ms

Counts

2 → 6

Calls

2 calls:

76.0ms	(- (+ x (cos y)) (* z (sin y)))
52.0ms	(* z (sin y))

simplify1.9s

Counts

50 → 50

Iterations

Useful iterations: 3 (669.0ms)

Iter	Nodes	Cost
0	81	12959
1	184	12141
2	509	11754
3	2806	11569
done	5000	11569

prune242.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize37.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)

rewrite17.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×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `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 → 81

Calls

4 calls:

13.0ms	(* (cbrt z) (cbrt z))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series1.4s

Counts

4 → 12

Calls

4 calls:

732.0ms	(* (cbrt z) (cbrt z))
229.0ms	(cbrt z)
229.0ms	(cbrt z)
231.0ms	(cbrt z)

simplify4.7s

Counts

93 → 93

Iterations

Useful iterations: 3 (476.0ms)

Iter	Nodes	Cost
0	65	18502
1	140	15989
2	382	15714
3	1076	15034
4	4322	15034
done	5001	15034

prune650.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize69.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)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 52

Calls

4 calls:

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

series1.2s

Counts

4 → 12

Calls

4 calls:

283.0ms	(cbrt z)
268.0ms	(cbrt z)
290.0ms	(cbrt z)
345.0ms	(cbrt z)

simplify3.6s

Counts

64 → 64

Iterations

Useful iterations: 3 (63.0ms)

Iter	Nodes	Cost
0	26	11972
1	46	10604
2	96	10448
3	196	9808
4	449	9808
5	1405	9808
done	5000	9808

prune538.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite41.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×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

2 → 47

Calls

2 calls:

10.0ms	(* (sqrt z) (sin y))
30.0ms	(* (sqrt z) (* (sqrt z) (sin y)))

series149.0ms

Counts

2 → 6

Calls

2 calls:

89.0ms	(* (sqrt z) (sin y))
60.0ms	(* (sqrt z) (* (sqrt z) (sin y)))

simplify2.8s

Counts

53 → 53

Iterations

Useful iterations: done (2.8s)

Iter	Nodes	Cost
0	81	13644
1	211	11898
2	571	10578
3	1770	10183
done	5001	10098

prune296.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.0b

regimes288.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample2.7s

Algorithm

intervals

Results

1.1s	5659×	body	80	valid
685.0ms	951×	body	1280	valid
405.0ms	761×	body	640	valid
213.0ms	418×	body	320	valid
42.0ms	211×	body	160	valid