Details

sample153.0ms

Algorithm

intervals

Results

58.0ms	836×	body	80	nan
15.0ms	32×	body	640	valid
13.0ms	172×	body	80	valid
11.0ms	14×	body	1280	valid
6.0ms	24×	body	320	valid
3.0ms	14×	body	160	valid

simplify17.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.3b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b	(* z (log (- 1.0 y)))
0.3b	(* x (log y))
6.2b	(log (- 1.0 y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
21×	`log-prod`
18×	`*-un-lft-identity`
12×	`add-cube-cbrt`
10×	`pow1`
8×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `add-exp-log`
7×	`add-cbrt-cube`
6×	`associate-l`
3×	`log-pow` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
2×	`log-div` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`flip3--` `rem-log-exp` `flip--`

Counts

3 → 70

Calls

3 calls:

11.0ms	(* z (log (- 1.0 y)))
7.0ms	(* x (log y))
4.0ms	(log (- 1.0 y))

series161.0ms

Counts

3 → 9

Calls

3 calls:

72.0ms	(* z (log (- 1.0 y)))
39.0ms	(* x (log y))
50.0ms	(log (- 1.0 y))

simplify2.0s

Counts

79 → 79

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	168	21539
1	358	18865
2	842	18337
3	2393	17947
done	5001	17746

prune583.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- (- (log 1.0) (* 1.0 y)) (/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))))
0.3b	(* x (log y))
0.3b	(* (/ 1.0 y) (/ 1.0 y))
0.5b	(/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-sqr-sqrt`
44×	`*-un-lft-identity` `times-frac`
42×	`add-cube-cbrt`
38×	`add-cbrt-cube` `add-exp-log`
23×	`associate-r`
19×	`associate-l`
16×	`pow1` `associate--l+`
13×	`cbrt-undiv` `swap-sqr` `div-exp`
12×	`log-prod`
10×	`distribute-rgt-in` `distribute-lft-in` `prod-exp` `cbrt-unprod`
6×	`associate-*r/` `unswap-sqr`
5×	`div-inv`
4×	`sub-neg` `add-log-exp`
3×	`pow-prod-down` `associate-/r/` `-commutative` `associate-/l`
2×	`frac-times` `flip3--` `associate-*l/` `frac-sub` `flip--` `difference-of-squares`
1×	`pow2` `clear-num` `associate-/r*` `frac-2neg` `pow-plus` `pow-sqr` `log-pow` `pow-prod-up` `distribute-lft-out--`

Counts

4 → 161

Calls

4 calls:

79.0ms	(* z (- (- (log 1.0) (* 1.0 y)) (/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))))
7.0ms	(* x (log y))
23.0ms	(* (/ 1.0 y) (/ 1.0 y))
11.0ms	(/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))

series193.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(* z (- (- (log 1.0) (* 1.0 y)) (/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))))
40.0ms	(* x (log y))
32.0ms	(* (/ 1.0 y) (/ 1.0 y))
28.0ms	(/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))

simplify2.5s

Counts

173 → 173

Iterations

Useful iterations: done (2.5s)

Iter	Nodes	Cost
0	296	47494
1	830	41950
2	2732	41223
done	5010	40143

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize90.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

10.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series984.0ms

Counts

4 → 12

Calls

4 calls:

294.0ms	(* (cbrt y) (cbrt y))
235.0ms	(cbrt y)
216.0ms	(cbrt y)
240.0ms	(cbrt y)

simplify3.2s

Counts

85 → 85

Iterations

Useful iterations: done (3.2s)

Iter	Nodes	Cost
0	61	17134
1	136	14621
2	377	14346
3	971	13666
4	3114	13666
done	5028	13626

prune765.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

localize88.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
5.1b	(pow (/ 1 y) -1/3)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
22×	`cbrt-prod` `*-un-lft-identity` `add-cube-cbrt`
13×	`pow1` `unpow-prod-down`
11×	`add-exp-log`
9×	`times-frac`
8×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `pow-exp` `add-log-exp` `unswap-sqr`
3×	`pow-unpow` `pow-pow`
2×	`div-exp` `pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-to-exp` `rec-exp` `pow-plus` `1-exp` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `pow-flip` `inv-pow` `sqr-pow`

Counts

4 → 94

Calls

4 calls:

11.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
6.0ms	(pow (/ 1 y) -1/3)

series1.3s

Counts

4 → 12

Calls

4 calls:

365.0ms	(* (cbrt y) (cbrt y))
317.0ms	(cbrt y)
343.0ms	(cbrt y)
260.0ms	(pow (/ 1 y) -1/3)

simplify2.4s

Counts

106 → 106

Iterations

Useful iterations: done (2.3s)

Iter	Nodes	Cost
0	135	28491
1	361	23474
2	947	22998
3	2626	22478
done	5076	22438

prune907.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

regimes435.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	27	997
1	34	997
done	34	997

end0.0ms

sample6.5s

Algorithm

intervals

Results

2.9s	24182×	body	80	nan
650.0ms	5507×	body	80	valid
642.0ms	713×	body	320	valid
483.0ms	928×	body	640	valid
400.0ms	419×	body	1280	valid
87.0ms	468×	body	160	valid