Details

sample35.0ms

Algorithm

intervals

Results

12.0ms	293×	body	80	valid
1.0ms	9×	body	320	valid
1.0ms	6×	body	640	valid
1.0ms	4×	body	1280	valid
0.0ms	3×	body	160	valid

simplify3.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	1977
4	582
3	172
2	51
1	21
0	12

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 2.0 3.0) z)
0.0b	(+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
0.0b	(* (- y x) 6.0)
0.3b	(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

rewrite220.0ms

Algorithm

rewrite-expression-head

Rules

199×	`add-sqr-sqrt`
195×	`prod-diff`
191×	`*-un-lft-identity`
185×	`add-cube-cbrt`
146×	`times-frac`
82×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`
16×	`div-inv`
13×	`fma-neg`
11×	`pow1` `add-cbrt-cube` `add-exp-log`
10×	`associate-*l/`
9×	`associate-r`
8×	`flip3--` `flip--` `add-log-exp`
6×	`associate-l`
5×	`sub-neg` `difference-of-squares`
4×	`expm1-log1p-u` `frac-times` `pow-prod-down` `prod-exp` `cbrt-unprod` `log1p-expm1-u`
3×	`fma-def` `distribute-lft-out--`
2×	`associate-r/` `-commutative`
1×	`+-commutative` `sum-log` `flip3-+` `diff-log` `flip-+` `unswap-sqr`

Counts

4 → 304

Calls

4 calls:

37.0ms	(- (/ 2.0 3.0) z)
46.0ms	(+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
29.0ms	(* (- y x) 6.0)
74.0ms	(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

series245.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(- (/ 2.0 3.0) z)
106.0ms	(+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
35.0ms	(* (- y x) 6.0)
82.0ms	(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

simplify706.0ms

Counts

316 → 316

Iterations

Iter	Nodes
done	5001
1	1109
0	400

prune1.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (fma (- y x) (* 6.0 (/ 2.0 3.0)) x) (* (- z) (* (- y x) 6.0)))
0.0b	(fma (- y x) (* 6.0 (/ 2.0 3.0)) x)
0.0b	(* (- y x) 6.0)
0.2b	(* (- z) (* (- y x) 6.0))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

15×	`associate-l`
14×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
11×	`pow1` `add-cbrt-cube` `add-exp-log`
10×	`add-cube-cbrt`
6×	`add-log-exp`
4×	`expm1-log1p-u` `associate-r` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod` `log1p-expm1-u`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `fma-def` `distribute-rgt-neg-in`
2×	`flip3--` `associate-r/` `-commutative` `fma-udef` `flip--`
1×	`+-commutative` `associate-+l+` `neg-mul-1` `sum-log` `flip3-+` `unsub-neg` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 83

Calls

4 calls:

6.0ms	(+ (fma (- y x) (* 6.0 (/ 2.0 3.0)) x) (* (- z) (* (- y x) 6.0)))
0.0ms	(fma (- y x) (* 6.0 (/ 2.0 3.0)) x)
20.0ms	(* (- y x) 6.0)
42.0ms	(* (- z) (* (- y x) 6.0))

series289.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(+ (fma (- y x) (* 6.0 (/ 2.0 3.0)) x) (* (- z) (* (- y x) 6.0)))
67.0ms	(fma (- y x) (* 6.0 (/ 2.0 3.0)) x)
44.0ms	(* (- y x) 6.0)
77.0ms	(* (- z) (* (- y x) 6.0))

simplify1.2s

Counts

95 → 95

Iterations

Iter	Nodes
done	5001
2	1448
1	344
0	132

prune586.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (fma (- x) 3.0 (* y 4.0)) (* (- z) (* (- y x) 6.0)))
0.0b	(* (- y x) 6.0)
0.1b	(fma (- x) 3.0 (* y 4.0))
0.2b	(* (- z) (* (- y x) 6.0))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

15×	`associate-l`
14×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
11×	`pow1` `add-cbrt-cube` `add-exp-log`
10×	`add-cube-cbrt`
6×	`add-log-exp`
4×	`expm1-log1p-u` `associate-r` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod` `log1p-expm1-u`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `fma-def` `distribute-rgt-neg-in`
2×	`flip3--` `associate-r/` `-commutative` `fma-udef` `flip--`
1×	`+-commutative` `associate-+l+` `neg-mul-1` `sum-log` `flip3-+` `unsub-neg` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 83

Calls

4 calls:

18.0ms	(+ (fma (- x) 3.0 (* y 4.0)) (* (- z) (* (- y x) 6.0)))
34.0ms	(* (- y x) 6.0)
0.0ms	(fma (- x) 3.0 (* y 4.0))
34.0ms	(* (- z) (* (- y x) 6.0))

series323.0ms

Counts

4 → 12

Calls

4 calls:

103.0ms	(+ (fma (- x) 3.0 (* y 4.0)) (* (- z) (* (- y x) 6.0)))
55.0ms	(* (- y x) 6.0)
76.0ms	(fma (- x) 3.0 (* y 4.0))
88.0ms	(* (- z) (* (- y x) 6.0))

simplify954.0ms

Counts

95 → 95

Iterations

Iter	Nodes
done	5001
2	1400
1	335
0	131

prune589.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (fma (- x) 3.0 (* y 4.0)) (* 1 (* (* (- y x) z) (- 6.0))))
0.0b	(* (- y x) z)
0.1b	(fma (- x) 3.0 (* y 4.0))
0.3b	(* (* (- y x) z) (- 6.0))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`-un-lft-identity` `associate-r*`
11×	`pow1` `add-cbrt-cube` `add-exp-log`
10×	`add-cube-cbrt`
6×	`associate-l` `associate-*l/` `add-log-exp`
5×	`distribute-rgt-neg-out`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `cbrt-unprod` `log1p-expm1-u`
3×	`distribute-lft-neg-in` `fma-def` `distribute-rgt-neg-in`
2×	`flip3--` `*-commutative` `fma-udef` `flip--`
1×	`+-commutative` `associate-+l+` `neg-mul-1` `sum-log` `flip3-+` `unsub-neg` `flip-+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 84

Calls

4 calls:

8.0ms	(+ (fma (- x) 3.0 (* y 4.0)) (* 1 (* (* (- y x) z) (- 6.0))))
22.0ms	(* (- y x) z)
0.0ms	(fma (- x) 3.0 (* y 4.0))
36.0ms	(* (* (- y x) z) (- 6.0))

series256.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(+ (fma (- x) 3.0 (* y 4.0)) (* 1 (* (* (- y x) z) (- 6.0))))
40.0ms	(* (- y x) z)
59.0ms	(fma (- x) 3.0 (* y 4.0))
67.0ms	(* (* (- y x) z) (- 6.0))

simplify1.9s

Counts

96 → 96

Iterations

Iter	Nodes
done	5004
2	2159
1	380
0	141

prune530.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes175.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.5s

Iterations

Iter	Nodes
done	5001
620	4993
619	4985
618	4977
617	4969
616	4961
615	4953
614	4945
613	4937
612	4929
611	4921
610	4913
609	4905
608	4897
607	4889
606	4881
605	4873
604	4865
603	4857
602	4849
601	4841
600	4833
599	4825
598	4817
597	4809
596	4801
595	4793
594	4785
593	4777
592	4769
591	4761
590	4753
589	4745
588	4737
587	4729
586	4721
585	4713
584	4705
583	4697
582	4689
581	4681
580	4673
579	4665
578	4657
577	4649
576	4641
575	4633
574	4625
573	4617
572	4609
571	4601
570	4593
569	4585
568	4577
567	4569
566	4561
565	4553
564	4545
563	4537
562	4529
561	4521
560	4513
559	4505
558	4497
557	4489
556	4481
555	4473
554	4465
553	4457
552	4449
551	4441
550	4433
549	4425
548	4417
547	4409
546	4401
545	4393
544	4385
543	4377
542	4369
541	4361
540	4353
539	4345
538	4337
537	4329
536	4321
535	4313
534	4305
533	4297
532	4289
531	4281
530	4273
529	4265
528	4257
527	4249
526	4241
525	4233
524	4225
523	4217
522	4209
521	4201
520	4193
519	4185
518	4177
517	4169
516	4161
515	4153
514	4145
513	4137
512	4129
511	4121
510	4113
509	4105
508	4097
507	4089
506	4081
505	4073
504	4065
503	4057
502	4049
501	4041
500	4033
499	4025
498	4017
497	4009
496	4001
495	3993
494	3985
493	3977
492	3969
491	3961
490	3953
489	3945
488	3937
487	3929
486	3921
485	3913
484	3905
483	3897
482	3889
481	3881
480	3873
479	3865
478	3857
477	3849
476	3841
475	3833
474	3825
473	3817
472	3809
471	3801
470	3793
469	3785
468	3777
467	3769
466	3761
465	3753
464	3745
463	3737
462	3729
461	3721
460	3713
459	3705
458	3697
457	3689
456	3681
455	3673
454	3665
453	3657
452	3649
451	3641
450	3633
449	3625
448	3617
447	3609
446	3601
445	3593
444	3585
443	3577
442	3569
441	3561
440	3553
439	3545
438	3537
437	3529
436	3521
435	3513
434	3505
433	3497
432	3489
431	3481
430	3473
429	3465
428	3457
427	3449
426	3441
425	3433
424	3425
423	3417
422	3409
421	3401
420	3393
419	3385
418	3377
417	3369
416	3361
415	3353
414	3345
413	3337
412	3329
411	3321
410	3313
409	3305
408	3297
407	3289
406	3281
405	3273
404	3265
403	3257
402	3249
401	3241
400	3233
399	3225
398	3217
397	3209
396	3201
395	3193
394	3185
393	3177
392	3169
391	3161
390	3153
389	3145
388	3137
387	3129
386	3121
385	3113
384	3105
383	3097
382	3089
381	3081
380	3073
379	3065
378	3057
377	3049
376	3041
375	3033
374	3025
373	3017
372	3009
371	3001
370	2993
369	2985
368	2977
367	2969
366	2961
365	2953
364	2945
363	2937
362	2929
361	2921
360	2913
359	2905
358	2897
357	2889
356	2881
355	2873
354	2865
353	2857
352	2849
351	2841
350	2833
349	2825
348	2817
347	2809
346	2801
345	2793
344	2785
343	2777
342	2769
341	2761
340	2753
339	2745
338	2737
337	2729
336	2721
335	2713
334	2705
333	2697
332	2689
331	2681
330	2673
329	2665
328	2657
327	2649
326	2641
325	2633
324	2625
323	2617
322	2609
321	2601
320	2593
319	2585
318	2577
317	2569
316	2561
315	2553
314	2545
313	2537
312	2529
311	2521
310	2513
309	2505
308	2497
307	2489
306	2481
305	2473
304	2465
303	2457
302	2449
301	2441
300	2433
299	2425
298	2417
297	2409
296	2401
295	2393
294	2385
293	2377
292	2369
291	2361
290	2353
289	2345
288	2337
287	2329
286	2321
285	2313
284	2305
283	2297
282	2289
281	2281
280	2273
279	2265
278	2257
277	2249
276	2241
275	2233
274	2225
273	2217
272	2209
271	2201
270	2193
269	2185
268	2177
267	2169
266	2161
265	2153
264	2145
263	2137
262	2129
261	2121
260	2113
259	2105
258	2097
257	2089
256	2081
255	2073
254	2065
253	2057
252	2049
251	2041
250	2033
249	2025
248	2017
247	2009
246	2001
245	1993
244	1985
243	1977
242	1969
241	1961
240	1953
239	1945
238	1937
237	1929
236	1921
235	1913
234	1905
233	1897
232	1889
231	1881
230	1873
229	1865
228	1857
227	1849
226	1841
225	1833
224	1825
223	1817
222	1809
221	1801
220	1793
219	1785
218	1777
217	1769
216	1761
215	1753
214	1745
213	1737
212	1729
211	1721
210	1713
209	1705
208	1697
207	1689
206	1681
205	1673
204	1665
203	1657
202	1649
201	1641
200	1633
199	1625
198	1617
197	1609
196	1601
195	1593
194	1585
193	1577
192	1569
191	1561
190	1553
189	1545
188	1537
187	1529
186	1521
185	1513
184	1505
183	1497
182	1489
181	1481
180	1473
179	1465
178	1457
177	1449
176	1441
175	1433
174	1425
173	1417
172	1409
171	1401
170	1393
169	1385
168	1377
167	1369
166	1361
165	1353
164	1345
163	1337
162	1329
161	1321
160	1313
159	1305
158	1297
157	1289
156	1281
155	1273
154	1265
153	1257
152	1249
151	1241
150	1233
149	1225
148	1217
147	1209
146	1201
145	1193
144	1185
143	1177
142	1169
141	1161
140	1153
139	1145
138	1137
137	1129
136	1121
135	1113
134	1105
133	1097
132	1089
131	1081
130	1073
129	1065
128	1057
127	1049
126	1041
125	1033
124	1025
123	1017
122	1009
121	1001
120	993
119	985
118	977
117	969
116	961
115	953
114	945
113	937
112	929
111	921
110	913
109	905
108	897
107	889
106	881
105	873
104	865
103	857
102	849
101	841
100	833
99	825
98	817
97	809
96	801
95	793
94	785
93	777
92	769
91	761
90	753
89	745
88	737
87	729
86	721
85	713
84	705
83	697
82	689
81	681
80	673
79	665
78	657
77	649
76	641
75	633
74	625
73	617
72	609
71	601
70	593
69	585
68	577
67	569
66	561
65	553
64	545
63	537
62	529
61	521
60	513
59	505
58	497
57	489
56	481
55	473
54	465
53	457
52	449
51	441
50	433
49	425
48	417
47	409
46	401
45	393
44	385
43	377
42	369
41	361
40	353
39	345
38	337
37	329
36	321
35	313
34	305
33	297
32	289
31	281
30	273
29	265
28	257
27	249
26	241
25	233
24	225
23	217
22	209
21	201
20	193
19	185
18	177
17	169
16	161
15	153
14	145
13	137
12	129
11	121
10	113
9	105
8	97
7	89
6	81
5	73
4	65
3	57
2	47
1	29
0	16

end0.0ms

sample1.8s

Algorithm

intervals

Results

1.2s	9264×	body	80	valid
73.0ms	199×	body	320	valid
59.0ms	264×	body	640	valid
36.0ms	137×	body	1280	valid
15.0ms	122×	body	160	valid