Details

sample202.0ms

Algorithm

intervals

Results

82.0ms

622×

body

valid

simplify1.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
4	950
3	290
2	96
1	43
0	23

prune33.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.2b

localize64.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (* c z) (* i a))
5.1b	(* b (- (* c z) (* i a)))
5.7b	(* j (- (* c t) (* i y)))
6.1b	(* x (- (* y z) (* t a)))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
9×	`associate-r` `associate-l`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/` `add-log-exp`
4×	`flip3--` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 84

Calls

4 calls:

6.0ms	(- (* c z) (* i a))
22.0ms	(* b (- (* c z) (* i a)))
33.0ms	(* j (- (* c t) (* i y)))
44.0ms	(* x (- (* y z) (* t a)))

series296.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(- (* c z) (* i a))
76.0ms	(* b (- (* c z) (* i a)))
74.0ms	(* j (- (* c t) (* i y)))
89.0ms	(* x (- (* y z) (* t a)))

simplify907.0ms

Counts

96 → 96

Iterations

Iter	Nodes
done	5001
2	1815
1	458
0	167

prune1.1s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.5b

localize39.0ms

Local error

Found 4 expressions with local error:

3.9b	(* (- i) (* a b))
5.1b	(* z (* b c))
5.7b	(* j (- (* c t) (* i y)))
6.1b	(* x (- (* y z) (* t a)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

19×	`associate-l`
18×	`pow1` `add-cbrt-cube` `add-exp-log`
16×	`add-sqr-sqrt`
12×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`flip3--` `flip--` `unswap-sqr`
1×	`distribute-lft-neg-out` `neg-mul-1`

Counts

4 → 92

Calls

4 calls:

16.0ms	(* (- i) (* a b))
15.0ms	(* z (* b c))
27.0ms	(* j (- (* c t) (* i y)))
22.0ms	(* x (- (* y z) (* t a)))

series265.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(* (- i) (* a b))
46.0ms	(* z (* b c))
92.0ms	(* j (- (* c t) (* i y)))
76.0ms	(* x (- (* y z) (* t a)))

simplify722.0ms

Counts

104 → 104

Iterations

Iter	Nodes
done	5001
2	1858
1	501
0	183

prune960.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 2.8b

localize61.0ms

Local error

Found 4 expressions with local error:

3.1b	(* (* (cbrt z) (cbrt z)) (* (cbrt z) (* b c)))
3.9b	(* (- i) (* a b))
5.7b	(* j (- (* c t) (* i y)))
6.1b	(* x (- (* y z) (* t a)))

rewrite143.0ms

Algorithm

rewrite-expression-head

Rules

34×	`pow1` `add-exp-log`
24×	`add-cbrt-cube`
20×	`pow-prod-down` `prod-exp` `cbrt-unprod`
17×	`associate-l`
15×	`add-sqr-sqrt`
11×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-r`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`flip3--` `flip--` `unswap-sqr`
1×	`distribute-lft-neg-out` `neg-mul-1`

Counts

4 → 102

Calls

4 calls:

73.0ms	(* (* (cbrt z) (cbrt z)) (* (cbrt z) (* b c)))
17.0ms	(* (- i) (* a b))
26.0ms	(* j (- (* c t) (* i y)))
21.0ms	(* x (- (* y z) (* t a)))

series282.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (* (cbrt z) (cbrt z)) (* (cbrt z) (* b c)))
33.0ms	(* (- i) (* a b))
94.0ms	(* j (- (* c t) (* i y)))
107.0ms	(* x (- (* y z) (* t a)))

simplify1.0s

Counts

114 → 114

Iterations

Iter	Nodes
done	5000
2	2252
1	574
0	202

prune1.2s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 2.7b

localize88.0ms

Local error

Found 4 expressions with local error:

5.7b	(* j (- (* c t) (* i y)))
5.7b	(* j (- (* c t) (* i y)))
5.7b	(* j (- (* c t) (* i y)))
6.1b	(* x (- (* y z) (* t a)))

rewrite129.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
12×	`pow1` `-un-lft-identity` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
4×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `add-log-exp` `unswap-sqr`

Counts

4 → 96

Calls

4 calls:

24.0ms	(* j (- (* c t) (* i y)))
24.0ms	(* j (- (* c t) (* i y)))
37.0ms	(* j (- (* c t) (* i y)))
41.0ms	(* x (- (* y z) (* t a)))

series427.0ms

Counts

4 → 12

Calls

4 calls:

108.0ms	(* j (- (* c t) (* i y)))
122.0ms	(* j (- (* c t) (* i y)))
95.0ms	(* j (- (* c t) (* i y)))
101.0ms	(* x (- (* y z) (* t a)))

simplify2.1s

Counts

108 → 108

Iterations

Iter	Nodes
done	5000
3	4956
2	1066
1	296
0	107

prune956.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 2.7b

regimes2.9s

Accuracy

29.3% (7.5b remaining)

Error of 9.6b against oracle of 2.1b and baseline of 12.7b

bsearch327.0ms

Steps

Iters	Range		Point
9	1.143509364262482e+65	1.296194404073412e+74	1.577780123178829e+66
5	-2.503336151840413e+35	-7.779242457143193e+34	-1.2128802959712287e+35

simplify5.1s

Iterations

Iter	Nodes
done	5001
609	4995
608	4987
607	4979
606	4971
605	4963
604	4955
603	4947
602	4939
601	4931
600	4923
599	4915
598	4907
597	4899
596	4891
595	4883
594	4875
593	4867
592	4859
591	4851
590	4843
589	4835
588	4827
587	4819
586	4811
585	4803
584	4795
583	4787
582	4779
581	4771
580	4763
579	4755
578	4747
577	4739
576	4731
575	4723
574	4715
573	4707
572	4699
571	4691
570	4683
569	4675
568	4667
567	4659
566	4651
565	4643
564	4635
563	4627
562	4619
561	4611
560	4603
559	4595
558	4587
557	4579
556	4571
555	4563
554	4555
553	4547
552	4539
551	4531
550	4523
549	4515
548	4507
547	4499
546	4491
545	4483
544	4475
543	4467
542	4459
541	4451
540	4443
539	4435
538	4427
537	4419
536	4411
535	4403
534	4395
533	4387
532	4379
531	4371
530	4363
529	4355
528	4347
527	4339
526	4331
525	4323
524	4315
523	4307
522	4299
521	4291
520	4283
519	4275
518	4267
517	4259
516	4251
515	4243
514	4235
513	4227
512	4219
511	4211
510	4203
509	4195
508	4187
507	4179
506	4171
505	4163
504	4155
503	4147
502	4139
501	4131
500	4123
499	4115
498	4107
497	4099
496	4091
495	4083
494	4075
493	4067
492	4059
491	4051
490	4043
489	4035
488	4027
487	4019
486	4011
485	4003
484	3995
483	3987
482	3979
481	3971
480	3963
479	3955
478	3947
477	3939
476	3931
475	3923
474	3915
473	3907
472	3899
471	3891
470	3883
469	3875
468	3867
467	3859
466	3851
465	3843
464	3835
463	3827
462	3819
461	3811
460	3803
459	3795
458	3787
457	3779
456	3771
455	3763
454	3755
453	3747
452	3739
451	3731
450	3723
449	3715
448	3707
447	3699
446	3691
445	3683
444	3675
443	3667
442	3659
441	3651
440	3643
439	3635
438	3627
437	3619
436	3611
435	3603
434	3595
433	3587
432	3579
431	3571
430	3563
429	3555
428	3547
427	3539
426	3531
425	3523
424	3515
423	3507
422	3499
421	3491
420	3483
419	3475
418	3467
417	3459
416	3451
415	3443
414	3435
413	3427
412	3419
411	3411
410	3403
409	3395
408	3387
407	3379
406	3371
405	3363
404	3355
403	3347
402	3339
401	3331
400	3323
399	3315
398	3307
397	3299
396	3291
395	3283
394	3275
393	3267
392	3259
391	3251
390	3243
389	3235
388	3227
387	3219
386	3211
385	3203
384	3195
383	3187
382	3179
381	3171
380	3163
379	3155
378	3147
377	3139
376	3131
375	3123
374	3115
373	3107
372	3099
371	3091
370	3083
369	3075
368	3067
367	3059
366	3051
365	3043
364	3035
363	3027
362	3019
361	3011
360	3003
359	2995
358	2987
357	2979
356	2971
355	2963
354	2955
353	2947
352	2939
351	2931
350	2923
349	2915
348	2907
347	2899
346	2891
345	2883
344	2875
343	2867
342	2859
341	2851
340	2843
339	2835
338	2827
337	2819
336	2811
335	2803
334	2795
333	2787
332	2779
331	2771
330	2763
329	2755
328	2747
327	2739
326	2731
325	2723
324	2715
323	2707
322	2699
321	2691
320	2683
319	2675
318	2667
317	2659
316	2651
315	2643
314	2635
313	2627
312	2619
311	2611
310	2603
309	2595
308	2587
307	2579
306	2571
305	2563
304	2555
303	2547
302	2539
301	2531
300	2523
299	2515
298	2507
297	2499
296	2491
295	2483
294	2475
293	2467
292	2459
291	2451
290	2443
289	2435
288	2427
287	2419
286	2411
285	2403
284	2395
283	2387
282	2379
281	2371
280	2363
279	2355
278	2347
277	2339
276	2331
275	2323
274	2315
273	2307
272	2299
271	2291
270	2283
269	2275
268	2267
267	2259
266	2251
265	2243
264	2235
263	2227
262	2219
261	2211
260	2203
259	2195
258	2187
257	2179
256	2171
255	2163
254	2155
253	2147
252	2139
251	2131
250	2123
249	2115
248	2107
247	2099
246	2091
245	2083
244	2075
243	2067
242	2059
241	2051
240	2043
239	2035
238	2027
237	2019
236	2011
235	2003
234	1995
233	1987
232	1979
231	1971
230	1963
229	1955
228	1947
227	1939
226	1931
225	1923
224	1915
223	1907
222	1899
221	1891
220	1883
219	1875
218	1867
217	1859
216	1851
215	1843
214	1835
213	1827
212	1819
211	1811
210	1803
209	1795
208	1787
207	1779
206	1771
205	1763
204	1755
203	1747
202	1739
201	1731
200	1723
199	1715
198	1707
197	1699
196	1691
195	1683
194	1675
193	1667
192	1659
191	1651
190	1643
189	1635
188	1627
187	1619
186	1611
185	1603
184	1595
183	1587
182	1579
181	1571
180	1563
179	1555
178	1547
177	1539
176	1531
175	1523
174	1515
173	1507
172	1499
171	1491
170	1483
169	1475
168	1467
167	1459
166	1451
165	1443
164	1435
163	1427
162	1419
161	1411
160	1403
159	1395
158	1387
157	1379
156	1371
155	1363
154	1355
153	1347
152	1339
151	1331
150	1323
149	1315
148	1307
147	1299
146	1291
145	1283
144	1275
143	1267
142	1259
141	1251
140	1243
139	1235
138	1227
137	1219
136	1211
135	1203
134	1195
133	1187
132	1179
131	1171
130	1163
129	1155
128	1147
127	1139
126	1131
125	1123
124	1115
123	1107
122	1099
121	1091
120	1083
119	1075
118	1067
117	1059
116	1051
115	1043
114	1035
113	1027
112	1019
111	1011
110	1003
109	995
108	987
107	979
106	971
105	963
104	955
103	947
102	939
101	931
100	923
99	915
98	907
97	899
96	891
95	883
94	875
93	867
92	859
91	851
90	843
89	835
88	827
87	819
86	811
85	803
84	795
83	787
82	779
81	771
80	763
79	755
78	747
77	739
76	731
75	723
74	715
73	707
72	699
71	691
70	683
69	675
68	667
67	659
66	651
65	643
64	635
63	627
62	619
61	611
60	603
59	595
58	587
57	579
56	571
55	563
54	555
53	547
52	539
51	531
50	523
49	515
48	507
47	499
46	491
45	483
44	475
43	467
42	459
41	451
40	443
39	435
38	427
37	419
36	411
35	403
34	395
33	387
32	379
31	371
30	363
29	355
28	347
27	339
26	331
25	323
24	315
23	307
22	299
21	291
20	283
19	275
18	267
17	259
16	251
15	243
14	235
13	227
12	219
11	211
10	203
9	195
8	187
7	179
6	171
5	163
4	155
3	145
2	118
1	92
0	52

end0.0ms

sample6.0s

Algorithm

intervals

Results

3.9s

19197×

body

valid