Details

sample176.0ms

Algorithm

intervals

Results

99.0ms	27×	body	1280	valid
15.0ms	178×	body	80	valid
9.0ms	122×	body	80	nan
8.0ms	25×	body	640	valid
5.0ms	18×	body	640	nan
4.0ms	12×	body	1280	nan
3.0ms	13×	body	320	valid
2.0ms	13×	body	160	valid
2.0ms	9×	body	320	nan
1.0ms	4×	body	160	nan

simplify12.8s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
229	4984
228	4965
227	4941
226	4923
225	4897
224	4880
223	4856
222	4834
221	4812
220	4795
219	4769
218	4751
217	4729
216	4710
215	4686
214	4668
213	4642
212	4625
211	4601
210	4581
209	4559
208	4542
207	4516
206	4498
205	4476
204	4457
203	4433
202	4415
201	4391
200	4374
199	4350
198	4328
197	4306
196	4289
195	4263
194	4245
193	4223
192	4204
191	4180
190	4162
189	4138
188	4121
187	4097
186	4077
185	4055
184	4038
183	4012
182	3994
181	3972
180	3953
179	3929
178	3911
177	3887
176	3870
175	3846
174	3826
173	3804
172	3787
171	3761
170	3743
169	3721
168	3702
167	3678
166	3660
165	3636
164	3619
163	3595
162	3573
161	3551
160	3534
159	3508
158	3490
157	3468
156	3449
155	3425
154	3407
153	3383
152	3366
151	3342
150	3320
149	3298
148	3281
147	3255
146	3237
145	3215
144	3196
143	3172
142	3154
141	3128
140	3111
139	3087
138	3065
137	3043
136	3026
135	3000
134	2982
133	2960
132	2941
131	2917
130	2899
129	2875
128	2858
127	2834
126	2814
125	2792
124	2775
123	2749
122	2731
121	2709
120	2690
119	2666
118	2648
117	2624
116	2607
115	2583
114	2563
113	2541
112	2524
111	2498
110	2480
109	2458
108	2439
107	2415
106	2397
105	2371
104	2354
103	2330
102	2308
101	2286
100	2269
99	2243
98	2225
97	2203
96	2184
95	2160
94	2142
93	2116
92	2099
91	2075
90	2053
89	2031
88	2014
87	1988
86	1970
85	1948
84	1929
83	1905
82	1887
81	1863
80	1846
79	1822
78	1800
77	1778
76	1761
75	1735
74	1717
73	1695
72	1676
71	1652
70	1634
69	1608
68	1591
67	1567
66	1545
65	1523
64	1506
63	1480
62	1462
61	1440
60	1421
59	1397
58	1379
57	1353
56	1336
55	1312
54	1290
53	1268
52	1251
51	1225
50	1207
49	1185
48	1166
47	1142
46	1124
45	1098
44	1081
43	1057
42	1037
41	1015
40	998
39	972
38	954
37	932
36	913
35	889
34	871
33	847
32	830
31	806
30	786
29	764
28	747
27	721
26	703
25	681
24	662
23	638
22	620
21	594
20	577
19	553
18	533
17	511
16	494
15	468
14	452
13	429
12	409
11	381
10	336
9	270
8	126
7	86
6	75
5	65
4	53
3	40
2	29
1	19
0	9

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.9b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b	(/ (- x y) (- 1.0 y))
3.1b	(- 1.0 (/ (- x y) (- 1.0 y)))
3.3b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite350.0ms

Algorithm

rewrite-expression-head

Rules

192×	`add-sqr-sqrt`
184×	`*-un-lft-identity`
105×	`prod-diff`
103×	`times-frac`
91×	`add-cube-cbrt`
49×	`difference-of-squares`
47×	`distribute-lft-out--`
12×	`log-prod`
9×	`pow1` `flip3--` `flip--`
8×	`associate-/r/`
7×	`add-exp-log` `add-log-exp`
6×	`fma-neg` `add-cbrt-cube` `associate--r+`
5×	`associate-/r` `log-pow` `associate-/l`
4×	`expm1-log1p-u` `log-div` `log1p-expm1-u` `div-inv`
3×	`associate--r-`
2×	`sub-neg` `diff-log` `div-sub` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `rem-log-exp` `clear-num`

Counts

4 → 227

Calls

4 calls:

84.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
48.0ms	(/ (- x y) (- 1.0 y))
97.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
95.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series550.0ms

Counts

4 → 12

Calls

4 calls:

193.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
73.0ms	(/ (- x y) (- 1.0 y))
108.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
175.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify9.3s

Counts

239 → 239

Iterations

Iter	Nodes
done	5001
2	2856
1	1026
0	390

prune2.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize77.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1 (- 1.0 y)) (- x y))
3.3b	(log (+ (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (/ 1 (- 1.0 y)) (- x y)))) (fma (- (/ 1 (- 1.0 y))) (- x y) (* (/ 1 (- 1.0 y)) (- x y)))))
5.1b	(fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (/ 1 (- 1.0 y)) (- x y))))
29.2b	(fma (- (/ 1 (- 1.0 y))) (- x y) (* (/ 1 (- 1.0 y)) (- x y)))

rewrite155.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
27×	`add-cube-cbrt`
21×	`associate-l`
18×	`prod-diff`
17×	`times-frac`
14×	`add-exp-log`
11×	`distribute-rgt-in` `distribute-lft-in`
9×	`add-cbrt-cube`
7×	`pow1`
5×	`associate-r`
4×	`expm1-log1p-u` `log-prod` `prod-exp` `log1p-expm1-u` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`flip3--` `flip--` `unswap-sqr`
2×	`frac-times` `sub-neg` `log-div` `associate-*r/` `div-exp` `associate-/r/` `cbrt-unprod` `fma-udef`
1×	`cbrt-undiv` `rec-exp` `flip3-+` `1-exp` `rem-log-exp` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `flip-+` `div-inv` `distribute-lft-out`

Counts

4 → 110

Calls

4 calls:

133.0ms	(* (/ 1 (- 1.0 y)) (- x y))
9.0ms	(log (+ (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (/ 1 (- 1.0 y)) (- x y)))) (fma (- (/ 1 (- 1.0 y))) (- x y) (* (/ 1 (- 1.0 y)) (- x y)))))
1.0ms	(fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (/ 1 (- 1.0 y)) (- x y))))
1.0ms	(fma (- (/ 1 (- 1.0 y))) (- x y) (* (/ 1 (- 1.0 y)) (- x y)))

series939.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(* (/ 1 (- 1.0 y)) (- x y))
503.0ms	(log (+ (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (/ 1 (- 1.0 y)) (- x y)))) (fma (- (/ 1 (- 1.0 y))) (- x y) (* (/ 1 (- 1.0 y)) (- x y)))))
191.0ms	(fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (/ 1 (- 1.0 y)) (- x y))))
174.0ms	(fma (- (/ 1 (- 1.0 y))) (- x y) (* (/ 1 (- 1.0 y)) (- x y)))

simplify7.2s

Counts

122 → 122

Iterations

Iter	Nodes
done	5000
3	4549
2	1527
1	644
0	253

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b	(/ (- x y) (- 1.0 y))
0.2b	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
3.1b	(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite444.0ms

Algorithm

rewrite-expression-head

Rules

226×	`add-sqr-sqrt`
202×	`*-un-lft-identity`
144×	`times-frac`
102×	`add-cube-cbrt`
93×	`prod-diff`
58×	`difference-of-squares`
50×	`distribute-lft-out--`
24×	`log-prod`
12×	`associate-/r/`
11×	`associate-/r*`
9×	`add-exp-log`
8×	`flip3--` `add-cbrt-cube` `flip--` `associate-/l*`
6×	`div-inv` `add-log-exp`
5×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`fma-neg` `div-exp`
2×	`cbrt-undiv` `frac-2neg` `div-sub` `rem-log-exp` `clear-num` `associate-/l/`
1×	`sub-neg` `log-div` `diff-log` `log-pow` `associate--r-`

Counts

4 → 248

Calls

4 calls:

79.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
50.0ms	(/ (- x y) (- 1.0 y))
179.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
105.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

series731.0ms

Counts

4 → 12

Calls

4 calls:

300.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
69.0ms	(/ (- x y) (- 1.0 y))
269.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
92.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify11.2s

Counts

260 → 260

Iterations

Iter	Nodes
done	5001
2	3191
1	1123
0	432

prune4.8s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))
0.7b	(/ (exp 1.0) (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
3.1b	(- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))
8.7b	(* (/ (exp 1.0) (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (+ 1.0 (/ (- x y) (- 1.0 y))))

rewrite762.0ms

Algorithm

rewrite-expression-head

Rules

256×	`*-un-lft-identity`
187×	`add-sqr-sqrt`
177×	`times-frac`
76×	`distribute-lft-out--`
74×	`add-cube-cbrt`
56×	`difference-of-squares`
55×	`swap-sqr`
49×	`associate-l`
35×	`associate-r`
23×	`add-cbrt-cube`
21×	`add-exp-log`
13×	`pow1`
12×	`associate-/r/`
7×	`flip3--` `flip--`
6×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr`
4×	`expm1-log1p-u` `associate-/r*` `log1p-expm1-u`
3×	`frac-times` `associate-r/` `associate-/l`
2×	`flip3-+` `pow-prod-down` `associate-l/` `-commutative` `flip-+`
1×	`pow2` `distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `pow-plus` `fma-neg` `diff-log` `prod-diff` `clear-num` `pow-sqr` `pow-prod-up` `distribute-lft-out`

Counts

4 → 245

Calls

4 calls:

200.0ms	(* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))
74.0ms	(/ (exp 1.0) (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
23.0ms	(- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))
409.0ms	(* (/ (exp 1.0) (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (+ 1.0 (/ (- x y) (- 1.0 y))))

series4.9s

Counts

4 → 12

Calls

4 calls:

230.0ms	(* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))
2.1s	(/ (exp 1.0) (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
961.0ms	(- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))
1.6s	(* (/ (exp 1.0) (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))) (+ 1.0 (/ (- x y) (- 1.0 y))))

simplify6.8s

Counts

257 → 257

Iterations

Iter	Nodes
done	5001
1	1326
0	363

prune6.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes1.1s

Accuracy

98.2% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 16.8b

bsearch9.0ms

simplify43.0ms

Iterations

Iter	Nodes
done	39
2	39
1	37
0	27

end1.0ms

sample14.7s

Algorithm

intervals

Results

5.4s	3676×	body	80	nan
3.1s	5706×	body	80	valid
2.7s	405×	body	640	nan
1.6s	851×	body	1280	valid
564.0ms	752×	body	640	valid
303.0ms	315×	body	1280	nan
213.0ms	467×	body	320	valid
77.0ms	208×	body	320	nan
44.0ms	224×	body	160	valid
27.0ms	118×	body	160	nan