Details

sample165.0ms

Algorithm

intervals

Results

52.0ms	812×	body	80	nan
13.0ms	32×	body	640	valid
12.0ms	177×	body	80	valid
9.0ms	11×	body	1280	valid
5.0ms	21×	body	320	valid
3.0ms	16×	body	160	valid

simplify4.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
198	4987
197	4959
196	4938
195	4908
194	4887
193	4859
192	4836
191	4808
190	4787
189	4757
188	4736
187	4708
186	4683
185	4655
184	4634
183	4604
182	4583
181	4555
180	4532
179	4504
178	4483
177	4453
176	4432
175	4404
174	4379
173	4351
172	4330
171	4300
170	4279
169	4251
168	4228
167	4200
166	4179
165	4149
164	4128
163	4100
162	4077
161	4049
160	4028
159	3998
158	3977
157	3949
156	3926
155	3898
154	3877
153	3847
152	3826
151	3798
150	3775
149	3747
148	3726
147	3696
146	3675
145	3647
144	3624
143	3596
142	3575
141	3545
140	3524
139	3496
138	3471
137	3443
136	3422
135	3392
134	3371
133	3343
132	3320
131	3292
130	3271
129	3241
128	3220
127	3192
126	3167
125	3139
124	3118
123	3088
122	3067
121	3039
120	3016
119	2988
118	2967
117	2937
116	2916
115	2888
114	2865
113	2837
112	2816
111	2786
110	2765
109	2737
108	2714
107	2686
106	2665
105	2635
104	2614
103	2586
102	2563
101	2535
100	2514
99	2484
98	2463
97	2435
96	2412
95	2384
94	2363
93	2333
92	2312
91	2284
90	2261
89	2233
88	2212
87	2182
86	2161
85	2133
84	2110
83	2082
82	2061
81	2031
80	2010
79	1982
78	1959
77	1931
76	1910
75	1880
74	1859
73	1831
72	1808
71	1780
70	1759
69	1729
68	1708
67	1680
66	1657
65	1629
64	1608
63	1578
62	1557
61	1529
60	1506
59	1478
58	1457
57	1427
56	1406
55	1378
54	1355
53	1327
52	1306
51	1276
50	1255
49	1227
48	1204
47	1176
46	1155
45	1125
44	1104
43	1076
42	1051
41	1023
40	1002
39	972
38	951
37	923
36	900
35	872
34	851
33	821
32	800
31	772
30	747
29	719
28	698
27	668
26	647
25	619
24	596
23	568
22	547
21	517
20	496
19	468
18	445
17	417
16	396
15	364
14	342
13	318
12	306
11	273
10	214
9	138
8	92
7	68
6	57
5	47
4	39
3	37
2	30
1	21
0	12

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.5b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (log (- 1.0 y)))
0.0b	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
0.3b	(* x (log y))
4.7b	(log (- 1.0 y))

rewrite114.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
21×	`log-prod` `*-un-lft-identity`
13×	`add-cube-cbrt`
11×	`pow1`
9×	`add-exp-log` `add-log-exp`
8×	`distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube` `associate-r`
6×	`associate-l`
4×	`distribute-lft-out--` `difference-of-squares`
3×	`log-pow`
2×	`log-div` `flip3--` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`
1×	`sum-log` `sub-neg` `rem-log-exp` `associate--l+`

Counts

4 → 86

Calls

4 calls:

23.0ms	(* z (log (- 1.0 y)))
61.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
19.0ms	(* x (log y))
7.0ms	(log (- 1.0 y))

series323.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(* z (log (- 1.0 y)))
138.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
45.0ms	(* x (log y))
49.0ms	(log (- 1.0 y))

simplify2.5s

Counts

98 → 98

Iterations

Iter	Nodes
done	5000
3	4448
2	1222
1	463
0	209

prune660.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1/2 (/ 1.0 y))
0.2b	(* (/ z (/ 1.0 y)) (/ 1/2 (/ 1.0 y)))
0.2b	(/ z (/ 1.0 y))
0.3b	(* x (log y))

rewrite120.0ms

Algorithm

rewrite-expression-head

Rules

300×	`times-frac`
200×	`add-sqr-sqrt`
162×	`*-un-lft-identity` `add-cube-cbrt`
52×	`add-cbrt-cube` `add-exp-log`
48×	`associate-r`
47×	`associate-l`
26×	`associate-/r*`
24×	`cbrt-undiv` `div-exp`
18×	`div-inv`
10×	`prod-exp` `cbrt-unprod` `unswap-sqr`
9×	`pow1`
6×	`log-prod` `associate-/l*`
4×	`associate-/r/` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`clear-num` `frac-2neg` `pow-prod-down` `*-commutative`
1×	`frac-times` `associate-l/` `associate-r/` `log-pow`

Counts

4 → 292

Calls

4 calls:

14.0ms	(/ 1/2 (/ 1.0 y))
73.0ms	(* (/ z (/ 1.0 y)) (/ 1/2 (/ 1.0 y)))
7.0ms	(/ z (/ 1.0 y))
7.0ms	(* x (log y))

series122.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ 1/2 (/ 1.0 y))
41.0ms	(* (/ z (/ 1.0 y)) (/ 1/2 (/ 1.0 y)))
22.0ms	(/ z (/ 1.0 y))
43.0ms	(* x (log y))

simplify1.3s

Counts

304 → 304

Iterations

Iter	Nodes
done	5001
1	1349
0	419

prune2.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ z (/ 1.0 y)) (/ 1/2 (/ 1.0 y)))
0.2b	(/ z (/ 1.0 y))
0.3b	(* x (log (sqrt y)))
0.3b	(* x (log (sqrt y)))

rewrite103.0ms

Algorithm

rewrite-expression-head

Rules

225×	`times-frac`
168×	`add-sqr-sqrt`
128×	`*-un-lft-identity` `add-cube-cbrt`
56×	`associate-r`
50×	`associate-l`
49×	`add-cbrt-cube` `add-exp-log`
24×	`log-prod`
21×	`cbrt-undiv` `div-exp`
14×	`pow1`
13×	`associate-/r*` `div-inv`
12×	`distribute-rgt-in` `distribute-lft-in` `sqrt-prod`
11×	`prod-exp` `cbrt-unprod` `unswap-sqr`
6×	`log-pow`
4×	`add-log-exp`
3×	`pow-prod-down` `associate-/r/` `-commutative` `associate-/l`
2×	`sqrt-pow1` `pow1/2`
1×	`frac-times` `clear-num` `frac-2neg` `associate-l/` `associate-r/`

Counts

4 → 263

Calls

4 calls:

57.0ms	(* (/ z (/ 1.0 y)) (/ 1/2 (/ 1.0 y)))
7.0ms	(/ z (/ 1.0 y))
9.0ms	(* x (log (sqrt y)))
17.0ms	(* x (log (sqrt y)))

series300.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (/ z (/ 1.0 y)) (/ 1/2 (/ 1.0 y)))
31.0ms	(/ z (/ 1.0 y))
123.0ms	(* x (log (sqrt y)))
100.0ms	(* x (log (sqrt y)))

simplify1.4s

Counts

275 → 275

Iterations

Iter	Nodes
done	5001
1	1277
0	399

prune2.2s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1/2 (/ 1.0 y))
0.2b	(/ z (/ 1.0 y))
0.3b	(* x (log y))
4.7b	(log (exp (/ 1/2 (/ 1.0 y))))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

216×	`times-frac`
130×	`add-sqr-sqrt`
128×	`*-un-lft-identity` `add-cube-cbrt`
46×	`log-pow`
44×	`exp-prod`
26×	`associate-/r*`
16×	`add-cbrt-cube` `add-exp-log`
14×	`div-inv`
9×	`log-prod`
8×	`pow1`
6×	`cbrt-undiv` `div-exp` `associate-/l*`
4×	`associate-r` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `associate-l` `associate-/r/`
2×	`clear-num` `frac-2neg`
1×	`rem-log-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 221

Calls

4 calls:

12.0ms	(/ 1/2 (/ 1.0 y))
8.0ms	(/ z (/ 1.0 y))
7.0ms	(* x (log y))
23.0ms	(log (exp (/ 1/2 (/ 1.0 y))))

series106.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ 1/2 (/ 1.0 y))
22.0ms	(/ z (/ 1.0 y))
46.0ms	(* x (log y))
22.0ms	(log (exp (/ 1/2 (/ 1.0 y))))

simplify1.3s

Counts

233 → 233

Iterations

Iter	Nodes
done	5000
2	2185
1	838
0	397

prune1.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes418.0ms

Accuracy

0% (0.1b remaining)

Error of 0.3b against oracle of 0.2b and baseline of 0.3b

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	26
1	26
0	21

end0.0ms

sample5.6s

Algorithm

intervals

Results

2.5s	24301×	body	80	nan
587.0ms	5551×	body	80	valid
373.0ms	867×	body	640	valid
280.0ms	388×	body	1280	valid
180.0ms	769×	body	320	valid
66.0ms	453×	body	160	valid