Details

sample18.0ms

Algorithm

intervals

Results

6.0ms	233×	body	80	valid
1.0ms	10×	body	1280	valid
1.0ms	4×	body	2560	valid
0.0ms	4×	body	640	valid
0.0ms	5×	body	320	valid

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	19	7
3	29	7
4	39	7
5	50	7
6	70	7
7	87	7
8	121	7
9	165	7
10	188	7
11	212	7
12	243	7
13	271	7
14	303	7
15	334	7
16	360	7
17	393	7
18	426	7
19	452	7
20	485	7
21	518	7
22	544	7
23	577	7
24	610	7
25	636	7
26	671	7
27	704	7
28	730	7
29	765	7
30	798	7
31	824	7
32	859	7
33	892	7
34	918	7
35	953	7
36	986	7
37	1012	7
38	1047	7
39	1080	7
40	1106	7
41	1141	7
42	1174	7
43	1200	7
44	1235	7
45	1268	7
46	1294	7
47	1329	7
48	1362	7
49	1388	7
50	1423	7
51	1456	7
52	1482	7
53	1517	7
54	1550	7
55	1576	7
56	1611	7
57	1644	7
58	1670	7
59	1705	7
60	1738	7
61	1764	7
62	1799	7
63	1832	7
64	1858	7
65	1893	7
66	1926	7
67	1952	7
68	1987	7
69	2020	7
70	2046	7
71	2081	7
72	2114	7
73	2140	7
74	2175	7
75	2208	7
76	2234	7
77	2269	7
78	2302	7
79	2328	7
80	2363	7
81	2396	7
82	2422	7
83	2457	7
84	2490	7
85	2516	7
86	2551	7
87	2584	7
88	2610	7
89	2645	7
90	2678	7
91	2704	7
92	2739	7
93	2772	7
94	2798	7
95	2833	7
96	2866	7
97	2892	7
98	2927	7
99	2960	7
100	2986	7
101	3021	7
102	3054	7
103	3080	7
104	3115	7
105	3148	7
106	3174	7
107	3209	7
108	3242	7
109	3268	7
110	3303	7
111	3336	7
112	3362	7
113	3397	7
114	3430	7
115	3456	7
116	3491	7
117	3524	7
118	3550	7
119	3585	7
120	3618	7
121	3644	7
122	3679	7
123	3712	7
124	3738	7
125	3773	7
126	3806	7
127	3832	7
128	3867	7
129	3900	7
130	3926	7
131	3961	7
132	3994	7
133	4020	7
134	4055	7
135	4088	7
136	4114	7
137	4149	7
138	4182	7
139	4208	7
140	4243	7
141	4276	7
142	4302	7
143	4337	7
144	4370	7
145	4396	7
146	4431	7
147	4464	7
148	4490	7
149	4525	7
150	4558	7
151	4584	7
152	4619	7
153	4652	7
154	4678	7
155	4713	7
156	4746	7
157	4772	7
158	4807	7
159	4840	7
160	4866	7
161	4901	7
162	4934	7
163	4960	7
164	4995	7
done	5000	7

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.1b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- x y) 2.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `flip3-+` `div-sub` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

9.0ms

(+ x (/ (- x y) 2.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(+ x (/ (- x y) 2.0))

simplify754.0ms

Counts

16 → 16

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	34	178
1	92	171
2	220	157
3	623	157
4	2445	157
done	5000	157

prune44.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	11	5	16
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	12	5	17

Merged error: 0.0b

Counts

17 → 5

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* 1.5 x) (* 0.5 y))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

4.0ms

(- (* 1.5 x) (* 0.5 y))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(- (* 1.5 x) (* 0.5 y))

simplify718.0ms

Counts

15 → 15

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	29	174
1	88	169
2	272	155
3	757	155
4	1721	155
done	5000	155

prune30.0ms

Filtered

10 candidates to 15 candidates (-50.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	15	5	20

Merged error: 0.0b

Counts

20 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

25.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
10.0ms	(cbrt (+ x (/ (- x y) 2.0)))
10.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series216.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
51.0ms	(cbrt (+ x (/ (- x y) 2.0)))
54.0ms	(cbrt (+ x (/ (- x y) 2.0)))
50.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify1.2s

Counts

107 → 107

Iterations

Useful iterations: 4 (511.0ms)

Iter	Nodes	Cost
0	129	2124
1	266	1971
2	651	1841
3	1798	1650
4	4948	1594
done	5000	1594

prune249.0ms

Filtered

78 candidates to 107 candidates (-37.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	105	7	112

Merged error: 0.0b

Counts

112 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

16×	`cbrt-prod` `*-un-lft-identity`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

4 → 56

Calls

4 calls:

9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
10.0ms	(cbrt (+ x (/ (- x y) 2.0)))
12.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series206.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(cbrt (+ x (/ (- x y) 2.0)))
50.0ms	(cbrt (+ x (/ (- x y) 2.0)))
54.0ms	(cbrt (+ x (/ (- x y) 2.0)))
50.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify650.0ms

Counts

68 → 68

Iterations

Useful iterations: 4 (228.0ms)

Iter	Nodes	Cost
0	68	1040
1	145	1004
2	314	936
3	765	908
4	2381	860
done	5000	860

prune237.0ms

Filtered

56 candidates to 68 candidates (-21.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	68	7	75

Merged error: 0.0b

Counts

75 → 7

regimes218.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7

end0.0ms

sample463.0ms

Algorithm

intervals

Results

181.0ms	7413×	body	80	valid
22.0ms	222×	body	1280	valid
12.0ms	99×	body	2560	valid
11.0ms	135×	body	640	valid
8.0ms	87×	body	320	valid
2.0ms	48×	body	160	valid

Details

sample18.0ms

simplify1.9s

prune3.0ms

localize5.0ms

rewrite10.0ms

series6.0ms

simplify754.0ms

prune44.0ms

localize5.0ms

rewrite4.0ms

series6.0ms

simplify718.0ms

prune30.0ms

localize9.0ms

rewrite57.0ms

series216.0ms

simplify1.2s

prune249.0ms

localize15.0ms

rewrite42.0ms

series206.0ms

simplify650.0ms

prune237.0ms

regimes218.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample463.0ms

Profiling