Details

sample40.0ms

Algorithm

intervals

Results

12.0ms	278×	body	80	valid
10.0ms	249×	body	80	nan

simplify10.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	24	14
2	47	14
3	75	14
4	94	14
5	123	14
6	152	14
7	197	14
8	246	14
9	264	14
10	282	14
11	296	14
12	314	14
13	328	14
14	346	14
15	360	14
16	378	14
17	392	14
18	410	14
19	426	14
20	446	14
21	462	14
22	480	14
23	494	14
24	512	14
25	526	14
26	542	14
27	556	14
28	574	14
29	586	14
30	602	14
31	616	14
32	634	14
33	646	14
34	662	14
35	674	14
36	690	14
37	706	14
38	726	14
39	742	14
40	762	14
41	778	14
42	798	14
43	812	14
44	830	14
45	844	14
46	862	14
47	876	14
48	894	14
49	908	14
50	926	14
51	940	14
52	958	14
53	972	14
54	990	14
55	1002	14
56	1018	14
57	1036	14
58	1058	14
59	1076	14
60	1098	14
61	1116	14
62	1138	14
63	1154	14
64	1174	14
65	1188	14
66	1198	14
67	1210	14
68	1220	14
69	1234	14
70	1244	14
71	1254	14
72	1264	14
73	1274	14
74	1286	14
75	1296	14
76	1306	14
77	1318	14
78	1334	14
79	1346	14
80	1362	14
81	1380	14
82	1402	14
83	1416	14
84	1434	14
85	1450	14
86	1470	14
87	1486	14
88	1506	14
89	1518	14
90	1534	14
91	1546	14
92	1560	14
93	1572	14
94	1588	14
95	1602	14
96	1620	14
97	1634	14
98	1652	14
99	1668	14
100	1688	14
101	1704	14
102	1724	14
103	1744	14
104	1768	14
105	1788	14
106	1812	14
107	1830	14
108	1852	14
109	1876	14
110	1904	14
111	1926	14
112	1950	14
113	1974	14
114	2000	14
115	2022	14
116	2048	14
117	2072	14
118	2100	14
119	2128	14
120	2158	14
121	2188	14
122	2222	14
123	2248	14
124	2278	14
125	2304	14
126	2334	14
127	2360	14
128	2388	14
129	2408	14
130	2432	14
131	2456	14
132	2484	14
133	2508	14
134	2536	14
135	2566	14
136	2600	14
137	2628	14
138	2660	14
139	2686	14
140	2716	14
141	2744	14
142	2776	14
143	2808	14
144	2842	14
145	2868	14
146	2898	14
147	2918	14
148	2942	14
149	2968	14
150	2998	14
151	3022	14
152	3050	14
153	3078	14
154	3110	14
155	3136	14
156	3166	14
157	3190	14
158	3218	14
159	3248	14
160	3282	14
161	3310	14
162	3342	14
163	3360	14
164	3382	14
165	3404	14
166	3428	14
167	3452	14
168	3480	14
169	3506	14
170	3536	14
171	3560	14
172	3588	14
173	3618	14
174	3652	14
175	3682	14
176	3716	14
177	3740	14
178	3768	14
179	3796	14
180	3828	14
181	3860	14
182	3896	14
183	3926	14
184	3960	14
185	3990	14
186	4010	14
187	4026	14
188	4042	14
189	4056	14
190	4070	14
191	4084	14
192	4096	14
193	4112	14
194	4126	14
195	4144	14
196	4160	14
197	4178	14
198	4194	14
199	4212	14
200	4226	14
201	4242	14
202	4258	14
203	4274	14
204	4294	14
205	4314	14
206	4338	14
207	4362	14
208	4388	14
209	4416	14
210	4448	14
211	4476	14
212	4508	14
213	4538	14
214	4572	14
215	4598	14
216	4628	14
217	4656	14
218	4688	14
219	4718	14
220	4752	14
221	4784	14
222	4820	14
223	4844	14
224	4872	14
225	4892	14
226	4916	14
227	4938	14
228	4964	14
229	4988	14
done	5000	14

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: 0.2b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.3b	(/ y (* 3.0 (sqrt x)))
0.3b	(/ 1.0 (* x 9.0))
0.3b	(* 3.0 (sqrt x))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
16×	`add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
11×	`add-cube-cbrt`
9×	`add-log-exp`
6×	`pow1` `times-frac` `associate-r` `associate-/l*`
4×	`cbrt-undiv` `div-exp` `sqrt-prod`
3×	`diff-log` `associate-l` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `frac-2neg` `associate--l+` `clear-num` `associate-/r*` `frac-sub` `flip--` `div-inv` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative` `difference-of-squares`

Counts

4 → 85

Calls

4 calls:

11.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
5.0ms	(/ y (* 3.0 (sqrt x)))
5.0ms	(/ 1.0 (* x 9.0))
5.0ms	(* 3.0 (sqrt x))

series25.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
9.0ms	(/ y (* 3.0 (sqrt x)))
2.0ms	(/ 1.0 (* x 9.0))
4.0ms	(* 3.0 (sqrt x))

simplify521.0ms

Counts

97 → 97

Iterations

Useful iterations: done (513.0ms)

Iter	Nodes	Cost
0	214	1221
1	537	1134
2	1882	1055
done	5001	1045

prune182.0ms

Filtered

74 candidates to 97 candidates (-31.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	90	7	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	7	98

Merged error: 0.0b

Counts

98 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
0.3b	(/ y (* 3.0 (sqrt x)))
0.3b	(/ (/ 1.0 x) 9.0)
0.3b	(* 3.0 (sqrt x))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
57×	`add-sqr-sqrt`
56×	`*-un-lft-identity`
51×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
9×	`add-log-exp`
6×	`pow1` `associate-r` `div-inv`
5×	`cbrt-undiv` `div-exp`
4×	`associate-/r*` `sqrt-prod`
3×	`diff-log` `associate-l` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `frac-2neg` `prod-exp` `associate--l+` `clear-num` `frac-sub` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative` `associate-/l/` `difference-of-squares`

Counts

4 → 134

Calls

4 calls:

20.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
6.0ms	(/ y (* 3.0 (sqrt x)))
6.0ms	(/ (/ 1.0 x) 9.0)
5.0ms	(* 3.0 (sqrt x))

series30.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
9.0ms	(/ y (* 3.0 (sqrt x)))
2.0ms	(/ (/ 1.0 x) 9.0)
4.0ms	(* 3.0 (sqrt x))

simplify590.0ms

Counts

146 → 146

Iterations

Useful iterations: done (586.0ms)

Iter	Nodes	Cost
0	313	1898
1	774	1770
2	2524	1687
done	5000	1674

prune239.0ms

Filtered

116 candidates to 146 candidates (-25.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	147	6	153

Merged error: 0.0b

Counts

153 → 6

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
0.3b	(/ (/ y 3.0) (sqrt x))
0.3b	(/ 1.0 (* x 9.0))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

150×	`times-frac`
98×	`add-sqr-sqrt`
87×	`*-un-lft-identity`
82×	`add-cube-cbrt`
44×	`sqrt-prod`
16×	`associate-/l*`
13×	`add-exp-log` `add-cbrt-cube`
9×	`div-inv`
8×	`add-log-exp`
7×	`associate-/r*`
5×	`cbrt-undiv` `div-exp` `difference-of-squares`
3×	`pow1` `diff-log` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `frac-2neg` `associate--l+` `clear-num` `frac-sub` `flip--`
1×	`associate--l-` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

3 → 158

Calls

3 calls:

33.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
8.0ms	(/ (/ y 3.0) (sqrt x))
5.0ms	(/ 1.0 (* x 9.0))

series26.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
14.0ms	(/ (/ y 3.0) (sqrt x))
2.0ms	(/ 1.0 (* x 9.0))

simplify585.0ms

Counts

167 → 167

Iterations

Useful iterations: done (580.0ms)

Iter	Nodes	Cost
0	328	2633
1	777	2447
2	2540	2358
done	5001	2351

prune227.0ms

Filtered

115 candidates to 167 candidates (-45.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	167	6	173

Merged error: 0.0b

Counts

173 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
0.2b	(/ y (sqrt x))
0.3b	(/ 1.0 (* x 9.0))
0.4b	(* (/ 1 3.0) (/ y (sqrt x)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

68×	`add-sqr-sqrt`
60×	`times-frac`
44×	`*-un-lft-identity`
41×	`add-cube-cbrt`
33×	`add-exp-log`
24×	`sqrt-prod`
23×	`add-cbrt-cube`
22×	`associate-r`
13×	`associate-l`
11×	`div-exp`
9×	`prod-exp` `add-log-exp` `unswap-sqr`
7×	`cbrt-undiv` `associate-/r*`
6×	`pow1` `frac-sub` `associate-/l*`
5×	`cbrt-unprod`
4×	`flip3--` `flip--` `div-inv`
3×	`frac-times` `diff-log` `associate-r/` `associate-l/`
2×	`sub-neg` `rec-exp` `frac-2neg` `1-exp` `associate--l+` `clear-num`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 150

Calls

4 calls:

8.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
4.0ms	(/ y (sqrt x))
5.0ms	(/ 1.0 (* x 9.0))
15.0ms	(* (/ 1 3.0) (/ y (sqrt x)))

series29.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
8.0ms	(/ y (sqrt x))
2.0ms	(/ 1.0 (* x 9.0))
10.0ms	(* (/ 1 3.0) (/ y (sqrt x)))

simplify691.0ms

Counts

162 → 162

Iterations

Useful iterations: done (687.0ms)

Iter	Nodes	Cost
0	300	2297
1	796	2017
2	2895	1828
done	5000	1806

prune192.0ms

Filtered

115 candidates to 162 candidates (-40.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	162	6	168

Merged error: 0.0b

Counts

168 → 6

regimes99.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	14
1	13	14
done	13	14

end0.0ms

sample1.2s

Algorithm

intervals

Results

398.0ms	8581×	body	80	valid
361.0ms	8396×	body	80	nan

Details

sample40.0ms

simplify10.5s

prune3.0ms

localize10.0ms

rewrite29.0ms

series25.0ms

simplify521.0ms

prune182.0ms

localize10.0ms

rewrite43.0ms

series30.0ms

simplify590.0ms

prune239.0ms

localize10.0ms

rewrite53.0ms

series26.0ms

simplify585.0ms

prune227.0ms

localize12.0ms

rewrite38.0ms

series29.0ms

simplify691.0ms

prune192.0ms

regimes99.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling