Details

sample223.0ms

Algorithm

intervals

Results

53.0ms	53×	body	10240	exit
34.0ms	33×	body	1280	valid
34.0ms	33×	body	320	valid
25.0ms	41×	body	640	valid
16.0ms	131×	body	80	valid
7.0ms	89×	body	80	nan
5.0ms	2×	body	2560	valid
4.0ms	16×	body	160	valid
2.0ms	4×	body	640	nan
1.0ms	2×	body	1280	nan
1.0ms	4×	body	160	nan
1.0ms	2×	body	320	nan

simplify35.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
279	4996
278	4988
277	4975
276	4965
275	4948
274	4940
273	4923
272	4915
271	4898
270	4892
269	4871
268	4865
267	4844
266	4834
265	4821
264	4811
263	4794
262	4788
261	4771
260	4765
259	4748
258	4742
257	4725
256	4717
255	4696
254	4690
253	4669
252	4659
251	4646
250	4636
249	4619
248	4613
247	4592
246	4586
245	4569
244	4559
243	4542
242	4532
241	4515
240	4509
239	4484
238	4476
237	4463
236	4453
235	4436
234	4428
233	4411
232	4403
231	4386
230	4380
229	4359
228	4353
227	4332
226	4322
225	4309
224	4299
223	4282
222	4274
221	4257
220	4251
219	4234
218	4226
217	4209
216	4201
215	4184
214	4176
213	4155
212	4149
211	4128
210	4118
209	4105
208	4095
207	4078
206	4072
205	4051
204	4045
203	4020
202	4012
201	3999
200	3989
199	3972
198	3966
197	3945
196	3939
195	3918
194	3908
193	3895
192	3885
191	3868
190	3862
189	3841
188	3835
187	3814
186	3804
185	3791
184	3781
183	3764
182	3758
181	3741
180	3735
179	3718
178	3712
177	3695
176	3689
175	3672
174	3664
173	3643
172	3637
171	3616
170	3606
169	3593
168	3583
167	3566
166	3560
165	3539
164	3533
163	3512
162	3502
161	3489
160	3479
159	3458
158	3452
157	3427
156	3421
155	3408
154	3398
153	3381
152	3373
151	3356
150	3350
149	3333
148	3327
147	3306
146	3298
145	3281
144	3271
143	3254
142	3244
141	3227
140	3221
139	3200
138	3190
137	3177
136	3167
135	3150
134	3144
133	3123
132	3117
131	3096
130	3086
129	3073
128	3063
127	3046
126	3038
125	3021
124	3013
123	2992
122	2984
121	2967
120	2961
119	2936
118	2930
117	2917
116	2907
115	2886
114	2880
113	2859
112	2849
111	2836
110	2826
109	2809
108	2803
107	2786
106	2778
105	2757
104	2751
103	2730
102	2720
101	2707
100	2697
99	2680
98	2672
97	2651
96	2645
95	2624
94	2614
93	2601
92	2591
91	2574
90	2568
89	2551
88	2545
87	2524
86	2518
85	2497
84	2487
83	2474
82	2464
81	2443
80	2437
79	2416
78	2406
77	2393
76	2383
75	2366
74	2360
73	2339
72	2333
71	2312
70	2302
69	2289
68	2279
67	2262
66	2254
65	2237
64	2231
63	2214
62	2206
61	2189
60	2183
59	2166
58	2160
57	2139
56	2133
55	2112
54	2102
53	2089
52	2079
51	2062
50	2056
49	2039
48	2033
47	2012
46	2006
45	1985
44	1975
43	1962
42	1952
41	1931
40	1925
39	1904
38	1894
37	1881
36	1871
35	1854
34	1846
33	1825
32	1819
31	1802
30	1796
29	1771
28	1763
27	1750
26	1740
25	1723
24	1715
23	1698
22	1692
21	1675
20	1669
19	1652
18	1646
17	1625
16	1619
15	1590
14	1583
13	1558
12	1527
11	1454
10	1245
9	903
8	739
7	549
6	262
5	107
4	66
3	48
2	33
1	20
0	12

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.1b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.7b	(+ (- 1.0 y) (* y (exp z)))
3.4b	(log (+ (- 1.0 y) (* y (exp z))))

rewrite236.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`pow1`
9×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
5×	`log-pow`
4×	`log-div` `associate-/l*`
3×	`log-prod` `flip3-+` `associate-r` `associate-l` `associate-/r*` `flip-+`
2×	`associate-+l+` `div-sub` `sum-log`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

22.0ms	(* y (exp z))
118.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
51.0ms	(+ (- 1.0 y) (* y (exp z)))
39.0ms	(log (+ (- 1.0 y) (* y (exp z))))

series613.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* y (exp z))
324.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
110.0ms	(+ (- 1.0 y) (* y (exp z)))
135.0ms	(log (+ (- 1.0 y) (* y (exp z))))

simplify2.9s

Counts

92 → 92

Iterations

Iter	Nodes
done	5000
2	1365
1	476
0	203

prune1.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.3b

localize83.0ms

Local error

Found 4 expressions with local error:

4.9b	(+ (* 0.5 (/ (* (* z z) y) t)) (+ (* (/ (* z 1.0) t) y) (/ (log 1.0) t)))
5.1b	(* (/ (* z 1.0) t) y)
5.4b	(* (* z z) y)
7.4b	(/ (* (* z z) y) t)

rewrite390.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-exp-log` `add-cbrt-cube`
13×	`add-sqr-sqrt`
11×	`pow1`
10×	`add-cube-cbrt` `*-un-lft-identity` `prod-exp` `cbrt-unprod`
9×	`add-log-exp`
8×	`associate-l`
6×	`times-frac` `associate-r`
5×	`cbrt-undiv` `div-exp`
4×	`pow-prod-down` `frac-add`
3×	`associate-r/` `associate-/r` `sum-log`
2×	`flip3-+` `associate-l/` `-commutative` `flip-+` `div-inv` `unswap-sqr`
1×	`+-commutative` `associate-+r+` `frac-2neg` `clear-num` `associate-/l*`

Counts

4 → 85

Calls

4 calls:

196.0ms	(+ (* 0.5 (/ (* (* z z) y) t)) (+ (* (/ (* z 1.0) t) y) (/ (log 1.0) t)))
42.0ms	(* (/ (* z 1.0) t) y)
35.0ms	(* (* z z) y)
110.0ms	(/ (* (* z z) y) t)

series416.0ms

Counts

4 → 12

Calls

4 calls:

271.0ms	(+ (* 0.5 (/ (* (* z z) y) t)) (+ (* (/ (* z 1.0) t) y) (/ (log 1.0) t)))
68.0ms	(* (/ (* z 1.0) t) y)
36.0ms	(* (* z z) y)
40.0ms	(/ (* (* z z) y) t)

simplify6.2s

Counts

97 → 97

Iterations

Iter	Nodes
done	5002
2	2455
1	588
0	182

prune1.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.3b

localize96.0ms

Local error

Found 4 expressions with local error:

7.4b	(/ (* (* z z) y) t)
16.0b	(cbrt (/ (* z 1.0) t))
16.0b	(cbrt (/ (* z 1.0) t))
16.0b	(cbrt (/ (* z 1.0) t))

rewrite664.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
13×	`add-exp-log` `add-cbrt-cube`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
4×	`pow1` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `cbrt-div` `pow1/3` `div-exp` `prod-exp` `associate-/r*` `cbrt-unprod`
1×	`frac-2neg` `clear-num` `associate-/l*`

Counts

4 → 71

Calls

4 calls:

80.0ms	(/ (* (* z z) y) t)
18.0ms	(cbrt (/ (* z 1.0) t))
41.0ms	(cbrt (/ (* z 1.0) t))
518.0ms	(cbrt (/ (* z 1.0) t))

series1.4s

Counts

4 → 12

Calls

4 calls:

46.0ms	(/ (* (* z z) y) t)
478.0ms	(cbrt (/ (* z 1.0) t))
469.0ms	(cbrt (/ (* z 1.0) t))
450.0ms	(cbrt (/ (* z 1.0) t))

simplify5.1s

Counts

83 → 83

Iterations

Iter	Nodes
done	5008
2	956
1	270
0	112

prune2.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.3b

localize116.0ms

Local error

Found 4 expressions with local error:

16.0b	(cbrt (/ (* z 1.0) t))
16.0b	(cbrt (/ (* z 1.0) t))
16.0b	(cbrt (/ (* z 1.0) t))
16.0b	(cbrt (/ (* z 1.0) t))

rewrite426.0ms

Algorithm

rewrite-expression-head

Rules

28×	`cbrt-prod`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
4×	`pow1` `add-exp-log` `cbrt-div` `pow1/3` `add-cbrt-cube` `div-inv` `add-log-exp`

Counts

4 → 64

Calls

4 calls:

390.0ms	(cbrt (/ (* z 1.0) t))
7.0ms	(cbrt (/ (* z 1.0) t))
7.0ms	(cbrt (/ (* z 1.0) t))
7.0ms	(cbrt (/ (* z 1.0) t))

series1.3s

Counts

4 → 12

Calls

4 calls:

165.0ms	(cbrt (/ (* z 1.0) t))
169.0ms	(cbrt (/ (* z 1.0) t))
168.0ms	(cbrt (/ (* z 1.0) t))
765.0ms	(cbrt (/ (* z 1.0) t))

simplify6.9s

Counts

76 → 76

Iterations

Iter	Nodes
done	5001
5	2187
4	796
3	323
2	161
1	91
0	60

prune1.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.3b

regimes2.0s

Accuracy

72.3% (4.7b remaining)

Error of 8.4b against oracle of 3.8b and baseline of 20.6b

bsearch665.0ms

Steps

Iters	Range		Point
9	-1.639266218632692e-61	-2.4289870293945252e-67	-4.564121524611551e-64
8	-27865420966.28187	-1449990.7857238646	-1479152.5895069216

simplify429.0ms

Iterations

Iter	Nodes
done	64
1	64
0	47

end1.0ms

sample21.8s

Algorithm

intervals

Results

7.2s	1486×	body	10240	exit
5.6s	1470×	body	1280	valid
4.8s	1547×	body	640	valid
839.0ms	3503×	body	80	valid
559.0ms	927×	body	320	valid
507.0ms	98×	body	2560	valid
421.0ms	2456×	body	80	nan
247.0ms	242×	body	640	nan
208.0ms	480×	body	160	valid
150.0ms	101×	body	1280	nan
93.0ms	193×	body	320	nan
29.0ms	115×	body	160	nan