Details

sample127.0ms

Algorithm

intervals

Results

86.0ms	176×	body	1280	valid
14.0ms	291×	body	80	valid
12.0ms	44×	body	640	valid
3.0ms	18×	body	320	valid
1.0ms	9×	body	160	valid

simplify18.1s

Counts

1 → 1

Iterations

Iter	Nodes
258	2008
257	1999
256	1994
255	1985
254	1980
253	1971
252	1966
251	1957
250	1952
249	1943
248	1938
247	1929
246	1924
245	1915
244	1910
243	1901
242	1896
241	1887
240	1882
239	1873
238	1868
237	1859
236	1854
235	1845
234	1840
233	1831
232	1826
231	1817
230	1812
229	1803
228	1798
227	1789
226	1784
225	1775
224	1770
223	1761
222	1756
221	1747
220	1742
219	1733
218	1728
217	1719
216	1714
215	1705
214	1700
213	1691
212	1686
211	1677
210	1672
209	1663
208	1658
207	1649
206	1644
205	1635
204	1630
203	1621
202	1616
201	1607
200	1602
199	1593
198	1588
197	1579
196	1574
195	1565
194	1560
193	1551
192	1546
191	1537
190	1532
189	1523
188	1518
187	1509
186	1504
185	1495
184	1490
183	1481
182	1476
181	1467
180	1462
179	1453
178	1448
177	1439
176	1434
175	1425
174	1420
173	1411
172	1406
171	1397
170	1392
169	1383
168	1378
167	1369
166	1364
165	1355
164	1350
163	1341
162	1336
161	1327
160	1322
159	1313
158	1308
157	1299
156	1294
155	1285
154	1280
153	1271
152	1266
151	1257
150	1252
149	1243
148	1238
147	1229
146	1224
145	1215
144	1210
143	1201
142	1196
141	1187
140	1182
139	1173
138	1168
137	1159
136	1154
135	1145
134	1140
133	1131
132	1126
131	1117
130	1112
129	1103
128	1098
127	1089
126	1084
125	1075
124	1070
123	1061
122	1056
121	1047
120	1042
119	1033
118	1028
117	1019
116	1014
115	1005
114	1000
113	991
112	986
111	977
110	972
109	963
108	958
107	949
106	944
105	935
104	930
103	921
102	916
101	907
100	902
99	893
98	888
97	879
96	874
95	865
94	860
93	851
92	846
91	837
90	832
89	823
88	818
87	809
86	804
85	795
84	790
83	781
82	776
81	767
80	762
79	753
78	748
77	739
76	734
75	725
74	720
73	711
72	706
71	697
70	692
69	683
68	678
67	669
66	664
65	655
64	650
63	641
62	636
61	627
60	622
59	613
58	608
57	599
56	594
55	585
54	580
53	571
52	566
51	557
50	552
49	543
48	538
47	529
46	524
45	515
44	510
43	501
42	496
41	487
40	482
39	473
38	468
37	459
36	454
35	445
34	440
33	431
32	426
31	417
30	412
29	403
28	398
27	389
26	384
25	375
24	370
23	361
22	356
21	347
20	342
19	331
18	326
17	319
16	314
15	303
14	301
13	283
12	269
11	246
10	212
9	158
8	101
7	73
6	64
5	60
4	57
3	43
2	27
1	15
0	7

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.5b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (exp x) 2)
0.0b	(/ -1 (exp x))
3.4b	(- (- (exp x) 2) (/ -1 (exp x)))

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

108×	`add-sqr-sqrt` `*-un-lft-identity`
83×	`prod-diff`
73×	`add-cube-cbrt`
55×	`times-frac`
18×	`distribute-lft-out--`
17×	`difference-of-squares`
11×	`associate--l+`
10×	`add-log-exp`
8×	`fma-neg`
6×	`div-inv`
5×	`add-cbrt-cube`
4×	`diff-log` `add-exp-log`
3×	`expm1-log1p-u` `pow1` `associate-/r` `sub-neg` `flip3--` `insert-posit16` `log1p-expm1-u` `flip--` `associate-/l`
2×	`frac-sub`
1×	`associate--l-` `cbrt-undiv` `clear-num` `frac-2neg` `div-exp`

Counts

3 → 163

Calls

3 calls:

15.0ms	(- (exp x) 2)
5.0ms	(/ -1 (exp x))
96.0ms	(- (- (exp x) 2) (/ -1 (exp x)))

series123.0ms

Counts

3 → 9

Calls

3 calls:

22.0ms	(- (exp x) 2)
18.0ms	(/ -1 (exp x))
84.0ms	(- (- (exp x) 2) (/ -1 (exp x)))

simplify3.6s

Counts

172 → 172

Iterations

Iter	Nodes
3	4872
2	1600
1	621
0	263

prune1.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite152.0ms

Algorithm

rewrite-expression-head

Rules

589×	`pow1`
290×	`pow-prod-up`
203×	`pow-plus`
100×	`pow-prod-down`
90×	`pow-sqr`
57×	`pow2`
55×	`add-cbrt-cube` `add-exp-log`
36×	`prod-exp` `cbrt-unprod`
24×	`pow3`
10×	`add-sqr-sqrt`
8×	`associate-r`
7×	`*-un-lft-identity` `add-cube-cbrt`
6×	`associate-l`
4×	`expm1-log1p-u` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`unswap-sqr`
1×	`swap-sqr`

Counts

4 → 278

Calls

4 calls:

15.0ms	(* (* x x) x)
15.0ms	(* (* x x) x)
97.0ms	(* (* (* x x) x) (* (* x x) x))
19.0ms	(* 1/12 (* x x))

series231.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(* (* x x) x)
56.0ms	(* (* x x) x)
78.0ms	(* (* (* x x) x) (* (* x x) x))
42.0ms	(* 1/12 (* x x))

simplify3.6s

Counts

290 → 290

Iterations

Iter	Nodes
4	5353
3	1810
2	657
1	323
0	111

prune2.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ -1 (exp x))
0.0b	(* (sqrt (- (- (exp x) 2) (/ -1 (exp x)))) (sqrt (- (- (exp x) 2) (/ -1 (exp x)))))
3.4b	(- (- (exp x) 2) (/ -1 (exp x)))
3.4b	(- (- (exp x) 2) (/ -1 (exp x)))

rewrite376.0ms

Algorithm

rewrite-expression-head

Rules

240×	`*-un-lft-identity`
228×	`add-sqr-sqrt`
148×	`prod-diff`
130×	`add-cube-cbrt`
105×	`times-frac`
58×	`distribute-lft-out--`
46×	`sqrt-prod`
40×	`sqrt-div` `difference-of-squares`
24×	`flip3--` `frac-sub` `flip--`
22×	`associate--l+`
19×	`pow1`
18×	`swap-sqr`
16×	`frac-times`
14×	`add-log-exp`
11×	`div-inv`
10×	`fma-neg` `associate-r` `associate-l`
8×	`sqrt-pow1` `add-cbrt-cube` `pow1/2`
7×	`add-exp-log`
6×	`diff-log`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `sub-neg` `associate-l/` `associate-r/` `insert-posit16` `log1p-expm1-u` `unswap-sqr`
3×	`associate-/r` `pow-prod-down` `pow-sqr` `associate-/l`
2×	`associate--l-`
1×	`pow2` `cbrt-undiv` `clear-num` `rem-square-sqrt` `frac-2neg` `pow-plus` `sqrt-unprod` `div-exp` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 332

Calls

4 calls:

5.0ms	(/ -1 (exp x))
233.0ms	(* (sqrt (- (- (exp x) 2) (/ -1 (exp x)))) (sqrt (- (- (exp x) 2) (/ -1 (exp x)))))
71.0ms	(- (- (exp x) 2) (/ -1 (exp x)))
60.0ms	(- (- (exp x) 2) (/ -1 (exp x)))

series259.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(/ -1 (exp x))
68.0ms	(* (sqrt (- (- (exp x) 2) (/ -1 (exp x)))) (sqrt (- (- (exp x) 2) (/ -1 (exp x)))))
90.0ms	(- (- (exp x) 2) (/ -1 (exp x)))
84.0ms	(- (- (exp x) 2) (/ -1 (exp x)))

simplify4.0s

Counts

344 → 344

Iterations

Iter	Nodes
3	5329
2	1867
1	747
0	347

prune4.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (/ -1 (exp x)) (exp x))
0.0b	(* (sqrt (/ (fma (- (exp x) 2) (- (exp x) 2) (/ (/ -1 (exp x)) (exp x))) (+ (- (exp x) 2) (/ -1 (exp x))))) (sqrt (- (- (exp x) 2) (/ -1 (exp x)))))
3.3b	(fma (- (exp x) 2) (- (exp x) 2) (/ (/ -1 (exp x)) (exp x)))
3.4b	(- (- (exp x) 2) (/ -1 (exp x)))

rewrite384.0ms

Algorithm

rewrite-expression-head

Rules

166×	`*-un-lft-identity`
165×	`add-sqr-sqrt`
139×	`times-frac`
113×	`add-cube-cbrt`
74×	`prod-diff`
37×	`sqrt-prod`
26×	`associate-l`
23×	`distribute-lft-out--`
18×	`difference-of-squares`
13×	`sqrt-div` `associate-/l*`
11×	`add-cbrt-cube` `associate--l+` `div-inv`
10×	`associate-r`
9×	`add-log-exp`
8×	`pow1` `add-exp-log`
7×	`flip3--` `flip--`
6×	`frac-sub` `distribute-lft-out` `unswap-sqr`
5×	`fma-neg`
4×	`expm1-log1p-u` `frac-times` `associate-*r/` `associate-/r/` `insert-posit16` `log1p-expm1-u`
3×	`cbrt-undiv` `associate-/r*` `diff-log` `div-exp` `pow-prod-down`
2×	`sub-neg` `sqrt-pow1` `pow1/2` `frac-add`
1×	`associate--l-` `clear-num` `frac-2neg` `flip3-+` `sqrt-unprod` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `flip-+` `fma-udef` `associate-/l/`

Counts

4 → 256

Calls

4 calls:

22.0ms	(/ (/ -1 (exp x)) (exp x))
272.0ms	(* (sqrt (/ (fma (- (exp x) 2) (- (exp x) 2) (/ (/ -1 (exp x)) (exp x))) (+ (- (exp x) 2) (/ -1 (exp x))))) (sqrt (- (- (exp x) 2) (/ -1 (exp x)))))
0.0ms	(fma (- (exp x) 2) (- (exp x) 2) (/ (/ -1 (exp x)) (exp x)))
78.0ms	(- (- (exp x) 2) (/ -1 (exp x)))

series937.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ (/ -1 (exp x)) (exp x))
697.0ms	(* (sqrt (/ (fma (- (exp x) 2) (- (exp x) 2) (/ (/ -1 (exp x)) (exp x))) (+ (- (exp x) 2) (/ -1 (exp x))))) (sqrt (- (- (exp x) 2) (/ -1 (exp x)))))
130.0ms	(fma (- (exp x) 2) (- (exp x) 2) (/ (/ -1 (exp x)) (exp x)))
82.0ms	(- (- (exp x) 2) (/ -1 (exp x)))

simplify1.4s

Counts

268 → 268

Iterations

Iter	Nodes
2	2685
1	1046
0	464

prune3.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes37.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 0.6b

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
2	11
1	11
0	9

end0.0ms

sample5.5s

Algorithm

intervals

Results

3.5s	5669×	body	1280	valid
838.0ms	1221×	body	640	valid
742.0ms	7894×	body	80	valid
169.0ms	634×	body	320	valid
40.0ms	297×	body	160	valid