Details

sample128.0ms

Algorithm

intervals

Results

82.0ms	172×	body	1280	valid
14.0ms	43×	body	640	valid
12.0ms	246×	body	80	valid
5.0ms	27×	body	320	valid
1.0ms	10×	body	160	valid

simplify4.0s

Counts

1 → 1

Iterations

Iter	Nodes
265	2000
264	1991
263	1986
262	1977
261	1972
260	1963
259	1958
258	1949
257	1944
256	1935
255	1930
254	1921
253	1916
252	1907
251	1902
250	1893
249	1888
248	1879
247	1874
246	1865
245	1860
244	1851
243	1846
242	1837
241	1832
240	1823
239	1818
238	1809
237	1804
236	1795
235	1790
234	1781
233	1776
232	1767
231	1762
230	1753
229	1748
228	1739
227	1734
226	1725
225	1720
224	1711
223	1706
222	1697
221	1692
220	1683
219	1678
218	1669
217	1664
216	1655
215	1650
214	1641
213	1636
212	1627
211	1622
210	1613
209	1608
208	1599
207	1594
206	1585
205	1580
204	1571
203	1566
202	1557
201	1552
200	1543
199	1538
198	1529
197	1524
196	1515
195	1510
194	1501
193	1496
192	1487
191	1482
190	1473
189	1468
188	1459
187	1454
186	1445
185	1440
184	1431
183	1426
182	1417
181	1412
180	1403
179	1398
178	1389
177	1384
176	1375
175	1370
174	1361
173	1356
172	1347
171	1342
170	1333
169	1328
168	1319
167	1314
166	1305
165	1300
164	1291
163	1286
162	1277
161	1272
160	1263
159	1258
158	1249
157	1244
156	1235
155	1230
154	1221
153	1216
152	1207
151	1202
150	1193
149	1188
148	1179
147	1174
146	1165
145	1160
144	1151
143	1146
142	1137
141	1132
140	1123
139	1118
138	1109
137	1104
136	1095
135	1090
134	1081
133	1076
132	1067
131	1062
130	1053
129	1048
128	1039
127	1034
126	1025
125	1020
124	1011
123	1006
122	997
121	992
120	983
119	978
118	969
117	964
116	955
115	950
114	941
113	936
112	927
111	922
110	913
109	908
108	899
107	894
106	885
105	880
104	871
103	866
102	857
101	852
100	843
99	838
98	829
97	824
96	815
95	810
94	801
93	796
92	787
91	782
90	773
89	768
88	759
87	754
86	745
85	740
84	731
83	726
82	717
81	712
80	703
79	698
78	689
77	684
76	675
75	670
74	661
73	656
72	647
71	642
70	633
69	628
68	619
67	614
66	605
65	600
64	591
63	586
62	577
61	572
60	563
59	558
58	549
57	544
56	535
55	530
54	521
53	516
52	507
51	502
50	493
49	488
48	479
47	474
46	465
45	460
44	451
43	446
42	437
41	432
40	423
39	418
38	409
37	404
36	395
35	390
34	381
33	376
32	367
31	362
30	353
29	348
28	339
27	334
26	325
25	320
24	311
23	306
22	295
21	290
20	283
19	278
18	263
17	257
16	241
15	235
14	228
13	223
12	206
11	198
10	177
9	150
8	99
7	71
6	62
5	58
4	55
3	41
2	25
1	15
0	7

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.9b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (exp x) 2)
4.8b	(+ (- (exp x) 2) (exp (- x)))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 37

Calls

2 calls:

20.0ms	(- (exp x) 2)
69.0ms	(+ (- (exp x) 2) (exp (- x)))

series113.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(- (exp x) 2)
96.0ms	(+ (- (exp x) 2) (exp (- x)))

simplify1.1s

Counts

43 → 43

Iterations

Iter	Nodes
3	2528
2	620
1	218
0	93

prune430.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 1/360 (* (* x x) (* (* x x) (* x x))))
0.1b	(* (* (* x x) (* x x)) 1/12)
0.1b	(* (* x x) (* x x))
0.1b	(* (* x x) (* x x))

rewrite409.0ms

Algorithm

rewrite-expression-head

Rules

297×	`pow1`
101×	`pow-prod-down`
99×	`add-cbrt-cube` `add-exp-log`
72×	`pow-prod-up`
71×	`prod-exp` `cbrt-unprod`
44×	`pow-sqr`
36×	`pow-plus`
26×	`pow2`
7×	`add-sqr-sqrt`
6×	`-un-lft-identity` `associate-r` `associate-l*` `add-cube-cbrt`
4×	`*-commutative` `insert-posit16` `add-log-exp`
3×	`unswap-sqr`
2×	`swap-sqr`

Counts

4 → 203

Calls

4 calls:

250.0ms	(* 1/360 (* (* x x) (* (* x x) (* x x))))
85.0ms	(* (* (* x x) (* x x)) 1/12)
23.0ms	(* (* x x) (* x x))
45.0ms	(* (* x x) (* x x))

series274.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(* 1/360 (* (* x x) (* (* x x) (* x x))))
72.0ms	(* (* (* x x) (* x x)) 1/12)
55.0ms	(* (* x x) (* x x))
56.0ms	(* (* x x) (* x x))

simplify1.1s

Counts

215 → 215

Iterations

Iter	Nodes
3	2443
2	772
1	315
0	143

prune1.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (exp x) (+ (exp x) 2))
0.0b	(/ (+ (* 2 (+ 2 (exp x))) (* (exp x) (+ (exp x) (+ (exp (* 3 x)) -8)))) (* (exp x) (+ 4 (* (exp x) (+ (exp x) 2)))))
0.1b	(exp (* 3 x))
5.3b	(+ (* 2 (+ 2 (exp x))) (* (exp x) (+ (exp x) (+ (exp (* 3 x)) -8))))

rewrite140.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*r/`
12×	`flip3-+` `flip-+`
11×	`add-cbrt-cube`
10×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`add-exp-log`
8×	`frac-add` `add-cube-cbrt` `add-log-exp`
6×	`pow1` `associate-/l/`
4×	`associate-r` `insert-posit16`
3×	`distribute-rgt-in` `distribute-lft-in` `times-frac` `associate-l` `associate-/l*`
2×	`cbrt-undiv` `associate-+l+` `associate-+r+` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod`
1×	`+-commutative` `exp-prod` `clear-num` `associate-/r` `sum-log` `frac-2neg` `exp-to-pow` `pow-prod-down` `-commutative` `div-inv` `distribute-lft-out` `unswap-sqr` `rem-exp-log`

Counts

4 → 85

Calls

4 calls:

26.0ms	(* (exp x) (+ (exp x) 2))
91.0ms	(/ (+ (* 2 (+ 2 (exp x))) (* (exp x) (+ (exp x) (+ (exp (* 3 x)) -8)))) (* (exp x) (+ 4 (* (exp x) (+ (exp x) 2)))))
4.0ms	(exp (* 3 x))
18.0ms	(+ (* 2 (+ 2 (exp x))) (* (exp x) (+ (exp x) (+ (exp (* 3 x)) -8))))

series488.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (exp x) (+ (exp x) 2))
315.0ms	(/ (+ (* 2 (+ 2 (exp x))) (* (exp x) (+ (exp x) (+ (exp (* 3 x)) -8)))) (* (exp x) (+ 4 (* (exp x) (+ (exp x) 2)))))
12.0ms	(exp (* 3 x))
126.0ms	(+ (* 2 (+ 2 (exp x))) (* (exp x) (+ (exp x) (+ (exp (* 3 x)) -8))))

simplify1.8s

Counts

97 → 97

Iterations

Iter	Nodes
2	3399
1	713
0	206

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ -2 (exp (- x)))
5.4b	(+ (exp x) (+ -2 (exp (- x))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 29

Calls

2 calls:

6.0ms	(+ -2 (exp (- x)))
40.0ms	(+ (exp x) (+ -2 (exp (- x))))

series98.0ms

Counts

2 → 6

Calls

2 calls:

22.0ms	(+ -2 (exp (- x)))
76.0ms	(+ (exp x) (+ -2 (exp (- x))))

simplify1.3s

Counts

35 → 35

Iterations

Iter	Nodes
3	2521
2	744
1	206
0	76

prune252.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes39.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
2	15
1	15
0	10

end0.0ms

sample5.5s

Algorithm

intervals

Results

3.6s	5649×	body	1280	valid
865.0ms	1271×	body	640	valid
558.0ms	7974×	body	80	valid
131.0ms	613×	body	320	valid
39.0ms	297×	body	160	valid