Details

sample21.0ms

Algorithm

intervals

Results

10.0ms

285×

body

valid

simplify2.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	19	11
2	27	11
3	40	11
4	49	11
5	63	11
6	76	11
7	101	11
8	107	11
9	113	11
10	117	11
11	128	11
12	169	11
13	189	11
14	230	11
15	248	11
16	289	11
17	307	11
18	348	11
19	366	11
20	407	11
21	425	11
22	466	11
23	484	11
24	525	11
25	543	11
26	584	11
27	602	11
28	643	11
29	661	11
30	702	11
31	720	11
32	761	11
33	779	11
34	820	11
35	838	11
36	879	11
37	897	11
38	938	11
39	956	11
40	997	11
41	1015	11
42	1056	11
43	1074	11
44	1115	11
45	1133	11
46	1174	11
47	1192	11
48	1233	11
49	1251	11
50	1292	11
51	1310	11
52	1351	11
53	1369	11
54	1410	11
55	1428	11
56	1469	11
57	1487	11
58	1528	11
59	1546	11
60	1587	11
61	1605	11
62	1646	11
63	1664	11
64	1705	11
65	1723	11
66	1764	11
67	1782	11
68	1823	11
69	1841	11
70	1882	11
71	1900	11
72	1941	11
73	1959	11
74	2000	11
75	2018	11
76	2059	11
77	2077	11
78	2118	11
79	2136	11
80	2177	11
81	2195	11
82	2236	11
83	2254	11
84	2295	11
85	2313	11
86	2354	11
87	2372	11
88	2413	11
89	2431	11
90	2472	11
91	2490	11
92	2531	11
93	2549	11
94	2590	11
95	2608	11
96	2649	11
97	2667	11
98	2708	11
99	2726	11
100	2767	11
101	2785	11
102	2826	11
103	2844	11
104	2885	11
105	2903	11
106	2944	11
107	2962	11
108	3003	11
109	3021	11
110	3062	11
111	3080	11
112	3121	11
113	3139	11
114	3180	11
115	3198	11
116	3239	11
117	3257	11
118	3298	11
119	3316	11
120	3357	11
121	3375	11
122	3416	11
123	3434	11
124	3475	11
125	3493	11
126	3534	11
127	3552	11
128	3593	11
129	3611	11
130	3652	11
131	3670	11
132	3711	11
133	3729	11
134	3770	11
135	3788	11
136	3829	11
137	3847	11
138	3888	11
139	3906	11
140	3947	11
141	3965	11
142	4006	11
143	4024	11
144	4065	11
145	4083	11
146	4124	11
147	4142	11
148	4183	11
149	4201	11
150	4242	11
151	4260	11
152	4301	11
153	4319	11
154	4360	11
155	4378	11
156	4419	11
157	4437	11
158	4478	11
159	4496	11
160	4537	11
161	4555	11
162	4596	11
163	4614	11
164	4655	11
165	4673	11
166	4714	11
167	4732	11
168	4773	11
169	4791	11
170	4832	11
171	4850	11
172	4891	11
173	4909	11
174	4950	11
175	4968	11
done	5001	11

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: 11.1b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(* x (+ (/ x y) 1.0))
10.3b	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt`
4×	`pow1` `times-frac` `associate-r/` `associate-r` `associate-/r`
3×	`flip3-+` `associate-l` `flip-+` `distribute-lft-out`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/` `add-log-exp`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

2 → 50

Calls

2 calls:

10.0ms	(* x (+ (/ x y) 1.0))
13.0ms	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

series15.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* x (+ (/ x y) 1.0))
7.0ms	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

simplify1.0s

Counts

56 → 56

Iterations

Useful iterations: 3 (390.0ms)

Iter	Nodes	Cost
0	102	719
1	304	689
2	1118	593
3	4657	591
done	5000	591

prune81.0ms

Filtered

38 candidates to 56 candidates (-47.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	5	57

Merged error: 0b

Counts

57 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
0.1b	(/ (+ x 1.0) (+ (/ x y) 1.0))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

155×	`*-un-lft-identity`
146×	`times-frac`
71×	`add-sqr-sqrt` `add-cube-cbrt`
42×	`distribute-lft-out`
26×	`associate-/r*`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/l*`
6×	`flip3-+` `flip-+` `div-inv`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `associate-/l/` `add-log-exp`

Counts

2 → 146

Calls

2 calls:

19.0ms	(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
11.0ms	(/ (+ x 1.0) (+ (/ x y) 1.0))

series16.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
9.0ms	(/ (+ x 1.0) (+ (/ x y) 1.0))

simplify686.0ms

Counts

152 → 152

Iterations

Useful iterations: 2 (362.0ms)

Iter	Nodes	Cost
0	206	2958
1	500	2772
2	1939	2658
done	5001	2658

prune180.0ms

Filtered

98 candidates to 152 candidates (-55.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	152	5	157

Merged error: 0b

Counts

157 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (+ (/ x y) 1.0))
0.2b	(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
10.3b	(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

50×	`times-frac`
40×	`*-un-lft-identity`
31×	`add-exp-log`
28×	`add-sqr-sqrt`
26×	`add-cube-cbrt`
19×	`add-cbrt-cube`
14×	`div-exp`
12×	`associate-*r/`
11×	`associate-/r*` `associate-/r/`
7×	`cbrt-undiv` `flip3-+` `flip-+` `distribute-lft-out` `associate-/l*`
6×	`pow1` `div-inv`
5×	`prod-exp`
4×	`associate-r`
3×	`rec-exp` `1-exp` `associate-l` `cbrt-unprod` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`distribute-rgt-in` `pow-flip` `distribute-lft-in` `pow-prod-down` `*-commutative` `inv-pow` `unswap-sqr`

Counts

3 → 118

Calls

3 calls:

10.0ms	(* x (+ (/ x y) 1.0))
15.0ms	(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
16.0ms	(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

series23.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(* x (+ (/ x y) 1.0))
7.0ms	(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
11.0ms	(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

simplify481.0ms

Counts

127 → 127

Iterations

Useful iterations: done (477.0ms)

Iter	Nodes	Cost
0	184	2115
1	494	1958
2	1924	1680
done	5001	1664

prune108.0ms

Filtered

67 candidates to 127 candidates (-89.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	127	5	132

Merged error: 0b

Counts

132 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (+ (/ x y) 1.0) (sqrt (+ x 1.0)))
0.1b	(* (/ x (sqrt (+ x 1.0))) (/ (+ (/ x y) 1.0) (sqrt (+ x 1.0))))
0.1b	(/ x (sqrt (+ x 1.0)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

129×	`*-un-lft-identity`
110×	`times-frac`
97×	`add-sqr-sqrt`
70×	`sqrt-prod`
67×	`add-cube-cbrt`
34×	`associate-r`
31×	`distribute-lft-out`
27×	`associate-l`
19×	`add-exp-log` `add-cbrt-cube`
14×	`associate-/r*`
9×	`unswap-sqr`
8×	`sqrt-div` `associate-/r/`
7×	`associate-/l*`
6×	`cbrt-undiv` `div-exp`
5×	`pow1` `flip3-+` `flip-+`
4×	`prod-exp` `cbrt-unprod` `div-inv`
3×	`add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

3 → 190

Calls

3 calls:

14.0ms	(/ (+ (/ x y) 1.0) (sqrt (+ x 1.0)))
35.0ms	(* (/ x (sqrt (+ x 1.0))) (/ (+ (/ x y) 1.0) (sqrt (+ x 1.0))))
7.0ms	(/ x (sqrt (+ x 1.0)))

series34.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(/ (+ (/ x y) 1.0) (sqrt (+ x 1.0)))
8.0ms	(* (/ x (sqrt (+ x 1.0))) (/ (+ (/ x y) 1.0) (sqrt (+ x 1.0))))
12.0ms	(/ x (sqrt (+ x 1.0)))

simplify603.0ms

Counts

199 → 199

Iterations

Useful iterations: done (596.0ms)

Iter	Nodes	Cost
0	262	3777
1	731	3562
2	2750	3180
done	5001	3138

prune290.0ms

Filtered

118 candidates to 199 candidates (-68.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	199	0	199
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	199	5	204

Merged error: 0b

Counts

204 → 5

regimes130.0ms

Accuracy

0% (0.1b 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	8	11
1	10	11
done	10	11

end0.0ms

sample587.0ms

Algorithm

intervals

Results

322.0ms

9176×

body

valid

Details

sample21.0ms

simplify2.5s

prune3.0ms

localize7.0ms

rewrite25.0ms

series15.0ms

simplify1.0s

prune81.0ms

localize7.0ms

rewrite38.0ms

series16.0ms

simplify686.0ms

prune180.0ms

localize8.0ms

rewrite46.0ms

series23.0ms

simplify481.0ms

prune108.0ms

localize12.0ms

rewrite65.0ms

series34.0ms

simplify603.0ms

prune290.0ms

regimes130.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample587.0ms

Profiling