Details

sample34.0ms

Algorithm

intervals

Results

21.0ms

296×

body

valid

simplify17.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
277	4989
276	4973
275	4957
274	4941
273	4925
272	4909
271	4893
270	4877
269	4861
268	4845
267	4829
266	4813
265	4797
264	4781
263	4765
262	4749
261	4733
260	4717
259	4701
258	4685
257	4669
256	4653
255	4637
254	4621
253	4605
252	4589
251	4573
250	4557
249	4541
248	4525
247	4509
246	4493
245	4477
244	4461
243	4445
242	4429
241	4413
240	4397
239	4381
238	4365
237	4349
236	4333
235	4317
234	4301
233	4285
232	4269
231	4253
230	4237
229	4221
228	4205
227	4189
226	4173
225	4157
224	4141
223	4125
222	4109
221	4093
220	4077
219	4061
218	4045
217	4029
216	4013
215	3997
214	3981
213	3965
212	3949
211	3933
210	3917
209	3901
208	3885
207	3869
206	3853
205	3837
204	3821
203	3805
202	3789
201	3773
200	3757
199	3741
198	3725
197	3709
196	3693
195	3677
194	3661
193	3645
192	3629
191	3613
190	3597
189	3581
188	3565
187	3549
186	3533
185	3517
184	3501
183	3485
182	3469
181	3453
180	3437
179	3421
178	3405
177	3389
176	3373
175	3357
174	3341
173	3325
172	3309
171	3293
170	3277
169	3261
168	3245
167	3229
166	3213
165	3197
164	3181
163	3165
162	3149
161	3133
160	3117
159	3101
158	3085
157	3069
156	3053
155	3037
154	3021
153	3005
152	2989
151	2973
150	2957
149	2941
148	2925
147	2909
146	2893
145	2877
144	2861
143	2845
142	2829
141	2813
140	2797
139	2781
138	2765
137	2749
136	2733
135	2717
134	2701
133	2685
132	2669
131	2653
130	2637
129	2621
128	2605
127	2589
126	2573
125	2557
124	2541
123	2525
122	2509
121	2493
120	2477
119	2461
118	2445
117	2429
116	2413
115	2397
114	2381
113	2365
112	2349
111	2333
110	2317
109	2301
108	2285
107	2269
106	2253
105	2237
104	2221
103	2205
102	2189
101	2173
100	2157
99	2141
98	2125
97	2109
96	2093
95	2077
94	2061
93	2045
92	2029
91	2013
90	1997
89	1981
88	1965
87	1949
86	1933
85	1917
84	1901
83	1885
82	1869
81	1853
80	1837
79	1821
78	1805
77	1789
76	1773
75	1757
74	1741
73	1725
72	1709
71	1693
70	1677
69	1661
68	1645
67	1629
66	1613
65	1597
64	1581
63	1565
62	1549
61	1533
60	1517
59	1501
58	1485
57	1469
56	1453
55	1437
54	1421
53	1405
52	1389
51	1373
50	1357
49	1341
48	1325
47	1309
46	1293
45	1277
44	1261
43	1245
42	1229
41	1213
40	1197
39	1181
38	1165
37	1149
36	1133
35	1117
34	1101
33	1085
32	1069
31	1053
30	1037
29	1021
28	1005
27	989
26	973
25	957
24	941
23	925
22	909
21	893
20	877
19	861
18	845
17	829
16	813
15	797
14	781
13	765
12	749
11	733
10	671
9	463
8	249
7	182
6	151
5	133
4	106
3	72
2	46
1	24
0	13

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.0b	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 31

Calls

2 calls:

52.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
14.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

series149.0ms

Counts

2 → 6

Calls

2 calls:

69.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
79.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

simplify1.4s

Counts

37 → 37

Iterations

Iter	Nodes
done	5001
3	2378
2	611
1	186
0	71

prune160.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)))
0.5b	(cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))
0.5b	(cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))
0.5b	(cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))

rewrite298.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `insert-posit16` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 99

Calls

4 calls:

205.0ms	(* (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)))
22.0ms	(cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))
36.0ms	(cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))
34.0ms	(cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))

series1.8s

Counts

4 → 12

Calls

4 calls:

516.0ms	(* (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)))
418.0ms	(cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))
463.0ms	(cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))
429.0ms	(cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))

simplify1.6s

Counts

111 → 111

Iterations

Iter	Nodes
done	5000
3	2521
2	816
1	327
0	144

prune572.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes351.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	16
1	16
0	13

end0.0ms

sample1.7s

Algorithm

intervals

Results

1.3s	9160×	body	80	valid
1.0ms	1×	body	2560	valid
0.0ms	1×	body	640	valid