Details

sample79.0ms

Algorithm

intervals

Results

22.0ms	29×	body	1280	valid
12.0ms	169×	body	80	valid
9.0ms	35×	body	640	valid
7.0ms	124×	body	80	nan
3.0ms	18×	body	320	valid
2.0ms	11×	body	640	nan
2.0ms	6×	body	1280	nan
1.0ms	8×	body	320	nan
1.0ms	5×	body	160	valid
0.0ms	2×	body	160	nan

simplify6.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
229	4985
228	4965
227	4945
226	4924
225	4899
224	4880
223	4860
222	4837
221	4816
220	4797
219	4775
218	4754
217	4733
216	4711
215	4691
214	4670
213	4645
212	4626
211	4606
210	4583
209	4562
208	4543
207	4521
206	4500
205	4479
204	4457
203	4437
202	4416
201	4393
200	4374
199	4354
198	4331
197	4310
196	4291
195	4269
194	4248
193	4227
192	4207
191	4187
190	4166
189	4143
188	4124
187	4104
186	4081
185	4060
184	4041
183	4019
182	3998
181	3977
180	3957
179	3937
178	3916
177	3891
176	3872
175	3852
174	3829
173	3808
172	3789
171	3767
170	3746
169	3725
168	3703
167	3683
166	3662
165	3637
164	3618
163	3598
162	3575
161	3554
160	3535
159	3513
158	3492
157	3471
156	3449
155	3429
154	3408
153	3385
152	3366
151	3346
150	3323
149	3302
148	3283
147	3261
146	3240
145	3219
144	3195
143	3175
142	3154
141	3129
140	3110
139	3090
138	3067
137	3046
136	3027
135	3005
134	2984
133	2963
132	2943
131	2923
130	2902
129	2879
128	2860
127	2840
126	2817
125	2796
124	2777
123	2755
122	2734
121	2713
120	2693
119	2673
118	2652
117	2627
116	2608
115	2588
114	2565
113	2544
112	2525
111	2503
110	2482
109	2461
108	2441
107	2421
106	2400
105	2377
104	2358
103	2338
102	2315
101	2294
100	2275
99	2253
98	2232
97	2211
96	2189
95	2169
94	2148
93	2125
92	2106
91	2086
90	2063
89	2042
88	2023
87	2001
86	1980
85	1959
84	1939
83	1919
82	1898
81	1873
80	1854
79	1834
78	1811
77	1790
76	1771
75	1749
74	1728
73	1707
72	1687
71	1667
70	1646
69	1623
68	1604
67	1584
66	1561
65	1540
64	1521
63	1499
62	1478
61	1457
60	1435
59	1415
58	1394
57	1371
56	1352
55	1332
54	1309
53	1288
52	1269
51	1247
50	1226
49	1205
48	1185
47	1165
46	1144
45	1119
44	1100
43	1080
42	1057
41	1036
40	1017
39	995
38	974
37	953
36	933
35	913
34	892
33	867
32	848
31	828
30	805
29	784
28	765
27	743
26	722
25	701
24	681
23	661
22	640
21	617
20	598
19	578
18	555
17	534
16	515
15	493
14	472
13	451
12	428
11	406
10	360
9	273
8	126
7	86
6	75
5	65
4	53
3	40
2	29
1	19
0	9

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.1b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite146.0ms

Algorithm

rewrite-expression-head

Rules

175×	`add-sqr-sqrt`
169×	`*-un-lft-identity`
102×	`times-frac`
93×	`prod-diff`
81×	`add-cube-cbrt`
46×	`difference-of-squares`
44×	`distribute-lft-out--`
8×	`associate-/r/`
7×	`flip3--` `flip--`
6×	`log-prod` `add-exp-log`
5×	`associate-/r` `add-cbrt-cube` `associate-/l` `add-log-exp`
4×	`pow1` `div-inv`
3×	`expm1-log1p-u` `fma-neg` `insert-posit16` `log1p-expm1-u`
2×	`log-div` `div-sub` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `log-pow` `associate--r-`

Counts

3 → 190

Calls

3 calls:

22.0ms	(/ (- x y) (- 1.0 y))
56.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
57.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series238.0ms

Counts

3 → 9

Calls

3 calls:

61.0ms	(/ (- x y) (- 1.0 y))
63.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
113.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify2.6s

Counts

199 → 199

Iterations

Iter	Nodes
done	5000
2	2465
1	878
0	337

prune754.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize50.0ms

Local error

Found 4 expressions with local error:

2.1b	(- 1.0 (/ (- x y) (- 1.0 y)))
2.1b	(- 1.0 (/ (- x y) (- 1.0 y)))
3.1b	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
3.1b	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

rewrite234.0ms

Algorithm

rewrite-expression-head

Rules

278×	`add-sqr-sqrt`
266×	`*-un-lft-identity`
186×	`prod-diff`
154×	`times-frac`
138×	`add-cube-cbrt`
68×	`difference-of-squares`
64×	`distribute-lft-out--`
18×	`log-prod`
12×	`associate-/r/` `sqrt-prod`
10×	`flip3--` `flip--`
8×	`pow1` `add-log-exp`
6×	`fma-neg` `add-exp-log` `log-pow` `div-inv`
4×	`expm1-log1p-u` `log-div` `add-cbrt-cube` `sqrt-div` `insert-posit16` `log1p-expm1-u`
2×	`sub-neg` `sqrt-pow1` `pow1/2` `diff-log` `div-sub` `rem-log-exp` `associate--r-`

Counts

4 → 280

Calls

4 calls:

73.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
68.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
33.0ms	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
34.0ms	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

series570.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
83.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
179.0ms	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
237.0ms	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

simplify1.9s

Counts

292 → 292

Iterations

Iter	Nodes
done	5001
2	2120
1	794
0	325

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize49.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
2.1b	(- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
10.4b	(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
11.9b	(log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))))

rewrite576.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity`
19×	`add-sqr-sqrt` `pow1`
17×	`prod-diff` `add-cube-cbrt`
15×	`log-pow`
14×	`log-prod`
8×	`log-div`
6×	`add-exp-log` `add-log-exp`
5×	`fma-neg`
4×	`expm1-log1p-u` `flip3--` `add-cbrt-cube` `associate--l+` `insert-posit16` `log1p-expm1-u` `flip--` `distribute-lft-out--`
3×	`difference-cubes` `cube-unmult` `pow3` `associate--r+`
2×	`associate--l-` `sub-neg` `flip3-+` `diff-log` `rem-log-exp` `flip-+` `associate--r-`
1×	`difference-of-squares`

Counts

4 → 104

Calls

4 calls:

207.0ms	(- (log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
126.0ms	(- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
124.0ms	(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
117.0ms	(log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))))

series1.3s

Counts

4 → 12

Calls

4 calls:

489.0ms	(- (log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
189.0ms	(- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
209.0ms	(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
435.0ms	(log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))))

simplify1.9s

Counts

116 → 116

Iterations

Iter	Nodes
done	5002
2	1880
1	584
0	221

prune637.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ x y) (/ 1.0 y))
2.1b	(fma (/ 1.0 y) (/ x y) (- (/ x y) (/ 1.0 y)))
2.2b	(log (fma (/ 1.0 y) (/ x y) (- (/ x y) (/ 1.0 y))))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

253×	`times-frac`
207×	`add-sqr-sqrt`
203×	`*-un-lft-identity`
195×	`add-cube-cbrt`
169×	`prod-diff`
29×	`div-inv`
13×	`fma-neg`
5×	`add-log-exp`
4×	`pow1` `add-exp-log` `distribute-lft-out--` `difference-of-squares`
3×	`expm1-log1p-u` `log-prod` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `diff-log` `rem-log-exp` `log-pow` `frac-sub` `fma-udef` `flip--` `sub-div`

Counts

3 → 234

Calls

3 calls:

52.0ms	(- (/ x y) (/ 1.0 y))
0.0ms	(fma (/ 1.0 y) (/ x y) (- (/ x y) (/ 1.0 y)))
2.0ms	(log (fma (/ 1.0 y) (/ x y) (- (/ x y) (/ 1.0 y))))

series210.0ms

Counts

3 → 9

Calls

3 calls:

40.0ms	(- (/ x y) (/ 1.0 y))
54.0ms	(fma (/ 1.0 y) (/ x y) (- (/ x y) (/ 1.0 y)))
116.0ms	(log (fma (/ 1.0 y) (/ x y) (- (/ x y) (/ 1.0 y))))

simplify1.9s

Counts

243 → 243

Iterations

Iter	Nodes
done	5000
2	1987
1	824
0	371

prune1.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes240.0ms

Accuracy

98.6% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 17.3b

bsearch164.0ms

Steps

Iters	Range		Point
10	73049.03827748532	7.228602892249866e+20	98095783.98664801
8	-1.9646003160526948e+22	-3.442452386677413e+19	-3.475504821605494e+19

simplify8.0ms

Iterations

Iter	Nodes
done	26
1	26
0	23

end0.0ms

sample2.0s

Algorithm

intervals

Results

446.0ms	5754×	body	80	valid
443.0ms	827×	body	1280	valid
254.0ms	3566×	body	80	nan
223.0ms	739×	body	640	valid
167.0ms	333×	body	1280	nan
84.0ms	374×	body	640	nan
76.0ms	428×	body	320	valid
37.0ms	234×	body	320	nan
30.0ms	252×	body	160	valid
12.0ms	113×	body	160	nan