Details

sample859.0ms

Algorithm

intervals

Results

595.0ms	1313×	body	80	nan
91.0ms	435×	body	80	valid
9.0ms	2×	body	1280	valid
6.0ms	9×	body	640	valid
5.0ms	9×	body	320	valid
2.0ms	7×	body	160	valid

simplify3.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5004
5	1059
4	334
3	127
2	58
1	30
0	17

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.3b

localize149.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
0.1b	(* y (- (log z) t))
1.8b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.5b	(log (- 1.0 z))

rewrite345.0ms

Algorithm

rewrite-expression-head

Rules

27×	`log-prod`
24×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
22×	`associate--l+`
17×	`distribute-rgt-in` `distribute-lft-in`
14×	`associate-+r+` `add-cube-cbrt`
10×	`associate-+l+` `associate-*r/`
9×	`add-log-exp`
8×	`pow1`
7×	`add-exp-log`
6×	`sub-neg` `flip3--` `add-cbrt-cube` `associate-r` `flip--`
5×	`distribute-lft-out--`
4×	`frac-add` `insert-posit16` `difference-of-squares`
3×	`exp-prod` `associate-l`
2×	`log-div` `sum-log` `log-pow` `rem-exp-log`
1×	`+-commutative` `flip3-+` `rem-log-exp` `exp-sum` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 105

Calls

4 calls:

147.0ms	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
94.0ms	(* y (- (log z) t))
78.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
9.0ms	(log (- 1.0 z))

series886.0ms

Counts

4 → 12

Calls

4 calls:

327.0ms	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
126.0ms	(* y (- (log z) t))
369.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
65.0ms	(log (- 1.0 z))

simplify4.0s

Counts

117 → 117

Iterations

Iter	Nodes
done	5003
2	2058
1	648
0	258

prune2.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize213.0ms

Local error

Found 4 expressions with local error:

0.1b	(* y (- (log z) t))
0.3b	(* (/ 1.0 z) (/ 1.0 z))
0.8b	(/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))
1.8b	(+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b)))

rewrite539.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
43×	`times-frac`
42×	`associate--l+` `add-cube-cbrt`
36×	`add-cbrt-cube` `add-exp-log`
19×	`distribute-rgt-in` `distribute-lft-in` `associate-r`
18×	`associate-+r+` `log-prod`
16×	`associate-l`
14×	`pow1`
13×	`cbrt-undiv` `swap-sqr` `div-exp`
12×	`associate-*r/`
10×	`associate-+l+` `sub-neg`
9×	`prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`flip3--` `div-inv` `flip--` `unswap-sqr`
4×	`frac-add` `insert-posit16`
3×	`associate-/r/` `associate-/l*`
2×	`frac-times` `pow-prod-down` `associate-l/` `-commutative` `distribute-lft-out--`
1×	`pow2` `+-commutative` `clear-num` `associate-/r*` `sum-log` `frac-2neg` `flip3-+` `pow-plus` `pow-sqr` `log-pow` `pow-prod-up` `flip-+` `difference-of-squares`

Counts

4 → 177

Calls

4 calls:

77.0ms	(* y (- (log z) t))
40.0ms	(* (/ 1.0 z) (/ 1.0 z))
38.0ms	(/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))
350.0ms	(+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b)))

series676.0ms

Counts

4 → 12

Calls

4 calls:

126.0ms	(* y (- (log z) t))
42.0ms	(* (/ 1.0 z) (/ 1.0 z))
52.0ms	(/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))
457.0ms	(+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (/ 1/2 (* (/ 1.0 z) (/ 1.0 z)))) b)))

simplify6.1s

Counts

189 → 189

Iterations

Iter	Nodes
done	5006
2	3277
1	988
0	333

prune3.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize208.0ms

Local error

Found 4 expressions with local error:

1.8b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
1.8b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.5b	(log (- 1.0 z))
3.5b	(log (- 1.0 z))

rewrite216.0ms

Algorithm

rewrite-expression-head

Rules

42×	`log-prod`
32×	`associate--l+`
28×	`associate-+r+`
26×	`add-sqr-sqrt` `*-un-lft-identity`
24×	`distribute-rgt-in` `distribute-lft-in`
20×	`associate-+l+`
16×	`associate-*r/`
14×	`add-cube-cbrt`
10×	`flip3--` `flip--`
8×	`sub-neg` `frac-add` `add-log-exp`
6×	`pow1` `add-exp-log` `distribute-lft-out--` `difference-of-squares`
4×	`log-div` `add-cbrt-cube` `insert-posit16`
2×	`+-commutative` `sum-log` `flip3-+` `rem-log-exp` `log-pow` `flip-+`

Counts

4 → 114

Calls

4 calls:

90.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
77.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
19.0ms	(log (- 1.0 z))
17.0ms	(log (- 1.0 z))

series913.0ms

Counts

4 → 12

Calls

4 calls:

367.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
409.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
71.0ms	(log (- 1.0 z))
66.0ms	(log (- 1.0 z))

simplify3.6s

Counts

126 → 126

Iterations

Iter	Nodes
done	5000
2	1612
1	497
0	190

prune2.9s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize119.0ms

Local error

Found 3 expressions with local error:

0.0b	(* x (exp (+ (* (log 1.0) a) (* (- (log z) t) y))))
0.0b	(- (log z) t)
0.1b	(* (- (log z) t) y)

rewrite313.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
9×	`pow1` `associate-l`
8×	`add-cube-cbrt`
7×	`add-cbrt-cube` `associate-r`
6×	`add-exp-log`
4×	`distribute-lft-out--` `add-log-exp`
3×	`log-prod` `associate--l+` `insert-posit16`
2×	`flip3--` `pow-prod-down` `associate-l/` `prod-exp` `log-pow` `-commutative` `cbrt-unprod` `flip--` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `diff-log` `exp-sum`

Counts

3 → 63

Calls

3 calls:

214.0ms	(* x (exp (+ (* (log 1.0) a) (* (- (log z) t) y))))
24.0ms	(- (log z) t)
72.0ms	(* (- (log z) t) y)

series728.0ms

Counts

3 → 9

Calls

3 calls:

416.0ms	(* x (exp (+ (* (log 1.0) a) (* (- (log z) t) y))))
125.0ms	(- (log z) t)
187.0ms	(* (- (log z) t) y)

simplify6.0s

Counts

72 → 72

Iterations

Iter	Nodes
done	5001
3	2539
2	702
1	288
0	131

prune1.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes1.8s

Accuracy

51% (7.6b remaining)

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

bsearch1.7s

Steps

Iters	Range		Point
5	3.2574255829610233e-77	1.069152272836586e-76	9.077191310208735e-77
5	-9.279253092123023e-47	-4.232635068600202e-47	-8.816833859851974e-47
8	-8.13801135610713e+74	-2.6139398231901827e+72	-3.3939892220623794e+73
10	-8.128036706555384e+141	-1.8230467717313794e+129	-2.7635926318262873e+131

simplify4.4m

Iterations

Iter	Nodes
done	5002
659	4997
658	4989
657	4982
656	4974
655	4967
654	4959
653	4952
652	4944
651	4937
650	4929
649	4922
648	4914
647	4907
646	4899
645	4892
644	4884
643	4877
642	4869
641	4862
640	4854
639	4847
638	4839
637	4832
636	4824
635	4817
634	4809
633	4802
632	4794
631	4787
630	4779
629	4772
628	4764
627	4757
626	4749
625	4742
624	4734
623	4727
622	4719
621	4712
620	4704
619	4697
618	4689
617	4682
616	4674
615	4667
614	4659
613	4652
612	4644
611	4637
610	4629
609	4622
608	4614
607	4607
606	4599
605	4592
604	4584
603	4577
602	4569
601	4562
600	4554
599	4547
598	4539
597	4532
596	4524
595	4517
594	4509
593	4502
592	4494
591	4487
590	4479
589	4472
588	4464
587	4457
586	4449
585	4442
584	4434
583	4427
582	4419
581	4412
580	4404
579	4397
578	4389
577	4382
576	4374
575	4367
574	4359
573	4352
572	4344
571	4337
570	4329
569	4322
568	4314
567	4307
566	4299
565	4292
564	4284
563	4277
562	4269
561	4262
560	4254
559	4247
558	4239
557	4232
556	4224
555	4217
554	4209
553	4202
552	4194
551	4187
550	4179
549	4172
548	4164
547	4157
546	4149
545	4142
544	4134
543	4127
542	4119
541	4112
540	4104
539	4097
538	4089
537	4082
536	4074
535	4067
534	4059
533	4052
532	4044
531	4037
530	4029
529	4022
528	4014
527	4007
526	3999
525	3992
524	3984
523	3977
522	3969
521	3962
520	3954
519	3947
518	3939
517	3932
516	3924
515	3917
514	3909
513	3902
512	3894
511	3887
510	3879
509	3872
508	3864
507	3857
506	3849
505	3842
504	3834
503	3827
502	3819
501	3812
500	3804
499	3797
498	3789
497	3782
496	3774
495	3767
494	3759
493	3752
492	3744
491	3737
490	3729
489	3722
488	3714
487	3707
486	3699
485	3692
484	3684
483	3677
482	3669
481	3662
480	3654
479	3647
478	3639
477	3632
476	3624
475	3617
474	3609
473	3602
472	3594
471	3587
470	3579
469	3572
468	3564
467	3557
466	3549
465	3542
464	3534
463	3527
462	3519
461	3512
460	3504
459	3497
458	3489
457	3482
456	3474
455	3467
454	3459
453	3452
452	3444
451	3437
450	3429
449	3422
448	3414
447	3407
446	3399
445	3392
444	3384
443	3377
442	3369
441	3362
440	3354
439	3347
438	3339
437	3332
436	3324
435	3317
434	3309
433	3302
432	3294
431	3287
430	3279
429	3272
428	3264
427	3257
426	3249
425	3242
424	3234
423	3227
422	3219
421	3212
420	3204
419	3197
418	3189
417	3182
416	3174
415	3167
414	3159
413	3152
412	3144
411	3137
410	3129
409	3122
408	3114
407	3107
406	3099
405	3092
404	3084
403	3077
402	3069
401	3062
400	3054
399	3047
398	3039
397	3032
396	3024
395	3017
394	3009
393	3002
392	2994
391	2987
390	2979
389	2972
388	2964
387	2957
386	2949
385	2942
384	2934
383	2927
382	2919
381	2912
380	2904
379	2897
378	2889
377	2882
376	2874
375	2867
374	2859
373	2852
372	2844
371	2837
370	2829
369	2822
368	2814
367	2807
366	2799
365	2792
364	2784
363	2777
362	2769
361	2762
360	2754
359	2747
358	2739
357	2732
356	2724
355	2717
354	2709
353	2702
352	2694
351	2687
350	2679
349	2672
348	2664
347	2657
346	2649
345	2642
344	2634
343	2627
342	2619
341	2612
340	2604
339	2597
338	2589
337	2582
336	2574
335	2567
334	2559
333	2552
332	2544
331	2537
330	2529
329	2522
328	2514
327	2507
326	2499
325	2492
324	2484
323	2477
322	2469
321	2462
320	2454
319	2447
318	2439
317	2432
316	2424
315	2417
314	2409
313	2402
312	2394
311	2387
310	2379
309	2372
308	2364
307	2357
306	2349
305	2342
304	2334
303	2327
302	2319
301	2312
300	2304
299	2297
298	2289
297	2282
296	2274
295	2267
294	2259
293	2252
292	2244
291	2237
290	2229
289	2222
288	2214
287	2207
286	2199
285	2192
284	2184
283	2177
282	2169
281	2162
280	2154
279	2147
278	2139
277	2132
276	2124
275	2117
274	2109
273	2102
272	2094
271	2087
270	2079
269	2072
268	2064
267	2057
266	2049
265	2042
264	2034
263	2027
262	2019
261	2012
260	2004
259	1997
258	1989
257	1982
256	1974
255	1967
254	1959
253	1952
252	1944
251	1937
250	1929
249	1922
248	1914
247	1907
246	1899
245	1892
244	1884
243	1877
242	1869
241	1862
240	1854
239	1847
238	1839
237	1832
236	1824
235	1817
234	1809
233	1802
232	1794
231	1787
230	1779
229	1772
228	1764
227	1757
226	1749
225	1742
224	1734
223	1727
222	1719
221	1712
220	1704
219	1697
218	1689
217	1682
216	1674
215	1667
214	1659
213	1652
212	1644
211	1637
210	1629
209	1622
208	1614
207	1607
206	1599
205	1592
204	1584
203	1577
202	1569
201	1562
200	1554
199	1547
198	1539
197	1532
196	1524
195	1517
194	1509
193	1502
192	1494
191	1487
190	1479
189	1472
188	1464
187	1457
186	1449
185	1442
184	1434
183	1427
182	1419
181	1412
180	1404
179	1397
178	1389
177	1382
176	1374
175	1367
174	1359
173	1352
172	1344
171	1337
170	1329
169	1322
168	1314
167	1307
166	1299
165	1292
164	1284
163	1277
162	1269
161	1262
160	1254
159	1247
158	1239
157	1232
156	1224
155	1217
154	1209
153	1202
152	1194
151	1187
150	1179
149	1172
148	1164
147	1157
146	1149
145	1142
144	1134
143	1127
142	1119
141	1112
140	1104
139	1097
138	1089
137	1082
136	1074
135	1067
134	1059
133	1052
132	1044
131	1037
130	1029
129	1022
128	1014
127	1007
126	999
125	992
124	984
123	977
122	969
121	962
120	954
119	947
118	939
117	932
116	924
115	917
114	909
113	902
112	894
111	887
110	879
109	872
108	864
107	857
106	849
105	842
104	834
103	827
102	819
101	812
100	804
99	797
98	789
97	782
96	774
95	767
94	759
93	752
92	744
91	737
90	729
89	722
88	714
87	707
86	699
85	692
84	684
83	677
82	669
81	662
80	654
79	647
78	639
77	632
76	624
75	617
74	609
73	602
72	594
71	587
70	579
69	572
68	564
67	557
66	549
65	542
64	534
63	527
62	519
61	512
60	504
59	497
58	489
57	482
56	474
55	467
54	459
53	452
52	444
51	437
50	429
49	422
48	414
47	407
46	399
45	392
44	384
43	377
42	369
41	362
40	354
39	347
38	339
37	332
36	324
35	317
34	309
33	302
32	294
31	287
30	279
29	272
28	264
27	257
26	249
25	242
24	234
23	227
22	219
21	212
20	204
19	197
18	189
17	182
16	174
15	167
14	159
13	152
12	144
11	137
10	129
9	122
8	112
7	111
6	108
5	107
4	102
3	94
2	71
1	57
0	39

end0.0ms

sample14.6s

Algorithm

intervals

Results

7.3s	41268×	body	80	nan
2.4s	12494×	body	80	valid
343.0ms	377×	body	640	valid
249.0ms	450×	body	320	valid
130.0ms	86×	body	1280	valid
83.0ms	287×	body	160	valid