Details

sample23.0ms

Algorithm

intervals

Results

8.0ms

310×

body

valid

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	22	7
3	41	7
4	59	7
5	80	7
6	93	7
7	135	7
8	149	7
9	191	7
10	205	7
11	247	7
12	261	7
13	303	7
14	317	7
15	359	7
16	373	7
17	415	7
18	429	7
19	471	7
20	485	7
21	527	7
22	541	7
23	583	7
24	597	7
25	639	7
26	653	7
27	695	7
28	709	7
29	751	7
30	765	7
31	807	7
32	821	7
33	863	7
34	877	7
35	919	7
36	933	7
37	975	7
38	989	7
39	1031	7
40	1045	7
41	1087	7
42	1101	7
43	1143	7
44	1157	7
45	1199	7
46	1213	7
47	1255	7
48	1269	7
49	1311	7
50	1325	7
51	1367	7
52	1381	7
53	1423	7
54	1437	7
55	1479	7
56	1493	7
57	1535	7
58	1549	7
59	1591	7
60	1605	7
61	1647	7
62	1661	7
63	1703	7
64	1717	7
65	1759	7
66	1773	7
67	1815	7
68	1829	7
69	1871	7
70	1885	7
71	1927	7
72	1941	7
73	1983	7
74	1997	7
75	2039	7
76	2053	7
77	2095	7
78	2109	7
79	2151	7
80	2165	7
81	2207	7
82	2221	7
83	2263	7
84	2277	7
85	2319	7
86	2333	7
87	2375	7
88	2389	7
89	2431	7
90	2445	7
91	2487	7
92	2501	7
93	2543	7
94	2557	7
95	2599	7
96	2613	7
97	2655	7
98	2669	7
99	2711	7
100	2725	7
101	2767	7
102	2781	7
103	2823	7
104	2837	7
105	2879	7
106	2893	7
107	2935	7
108	2949	7
109	2991	7
110	3005	7
111	3047	7
112	3061	7
113	3103	7
114	3117	7
115	3159	7
116	3173	7
117	3215	7
118	3229	7
119	3271	7
120	3285	7
121	3327	7
122	3341	7
123	3383	7
124	3397	7
125	3439	7
126	3453	7
127	3495	7
128	3509	7
129	3551	7
130	3565	7
131	3607	7
132	3621	7
133	3663	7
134	3677	7
135	3719	7
136	3733	7
137	3775	7
138	3789	7
139	3831	7
140	3845	7
141	3887	7
142	3901	7
143	3943	7
144	3957	7
145	3999	7
146	4013	7
147	4055	7
148	4069	7
149	4111	7
150	4125	7
151	4167	7
152	4181	7
153	4223	7
154	4237	7
155	4279	7
156	4293	7
157	4335	7
158	4349	7
159	4391	7
160	4405	7
161	4447	7
162	4461	7
163	4503	7
164	4517	7
165	4559	7
166	4573	7
167	4615	7
168	4629	7
169	4671	7
170	4685	7
171	4727	7
172	4741	7
173	4783	7
174	4797	7
175	4839	7
176	4853	7
177	4895	7
178	4909	7
179	4951	7
180	4965	7
done	5001	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: 12.9b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (- y z))
12.1b	(/ (* x (- y z)) y)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 49

Calls

2 calls:

7.0ms	(* x (- y z))
7.0ms	(/ (* x (- y z)) y)

series20.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* x (- y z))
11.0ms	(/ (* x (- y z)) y)

simplify872.0ms

Counts

55 → 55

Iterations

Useful iterations: done (870.0ms)

Iter	Nodes	Cost
0	90	481
1	224	457
2	780	399
3	4066	399
done	5001	398

prune76.0ms

Filtered

35 candidates to 55 candidates (-57.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	48	7	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	7	56

Merged error: 0.0b

Counts

56 → 7

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (- y z))
2.2b	(/ x (/ y (- y z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
102×	`add-sqr-sqrt` `*-un-lft-identity`
70×	`add-cube-cbrt`
26×	`associate-/r*`
16×	`distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3--` `flip--`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 139

Calls

2 calls:

6.0ms	(/ y (- y z))
10.0ms	(/ x (/ y (- y z)))

series17.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ y (- y z))
11.0ms	(/ x (/ y (- y z)))

simplify476.0ms

Counts

145 → 145

Iterations

Useful iterations: 2 (147.0ms)

Iter	Nodes	Cost
0	218	2050
1	482	1914
2	1982	1842
done	5000	1842

prune134.0ms

Filtered

109 candidates to 145 candidates (-33.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	4	2	6
Picked	0	1	1
Done	0	0	0
Total	146	6	152

Merged error: 0b

Counts

152 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- y z) y)
2.2b	(* x (/ (- y z) y))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
31×	`times-frac`
22×	`add-cube-cbrt`
19×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/l*`
4×	`pow1`
3×	`associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`flip3--` `frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip--`

Counts

2 → 76

Calls

2 calls:

6.0ms	(/ (- y z) y)
11.0ms	(* x (/ (- y z) y))

series17.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (- y z) y)
11.0ms	(* x (/ (- y z) y))

simplify963.0ms

Counts

82 → 82

Iterations

Useful iterations: done (961.0ms)

Iter	Nodes	Cost
0	111	813
1	265	769
2	851	706
3	3437	706
done	5000	705

prune79.0ms

Filtered

56 candidates to 82 candidates (-46.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	82	6	88

Merged error: 0b

Counts

88 → 6

localize5.0ms

Local error

Found 1 expressions with local error:

2.2b	(* x (- 1 (/ z y)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
8×	`associate-r`
7×	`*-un-lft-identity`
4×	`difference-of-squares`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `times-frac` `associate-*r/`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `add-log-exp` `unswap-sqr`

Counts

1 → 29

Calls

1 calls:

11.0ms

(* x (- 1 (/ z y)))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(* x (- 1 (/ z y)))

simplify959.0ms

Counts

32 → 32

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	62	306
1	154	287
2	404	259
3	1172	259
4	4050	259
done	5001	259

prune32.0ms

Filtered

22 candidates to 32 candidates (-45.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	32	0	32
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	32	6	38

Merged error: 0b

Counts

38 → 6

regimes193.0ms

Accuracy

32% (2.1b remaining)

Error of 2.1b against oracle of 0.0b and baseline of 3.1b

bsearch17.0ms

Steps

Iters	Range		Point
6	6.477731316087842e-164	9.251068586094155e-163	4.682219303412234e-163
3	-8.832921302469538e-76	-6.910016817079949e-76	-8.712739772132689e-76

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	29
1	19	29
done	19	29

end0.0ms

sample653.0ms

Algorithm

intervals

Results

277.0ms

9677×

body

valid

Details

sample23.0ms

simplify1.9s

prune3.0ms

localize5.0ms

rewrite16.0ms

series20.0ms

simplify872.0ms

prune76.0ms

localize5.0ms

rewrite23.0ms

series17.0ms

simplify476.0ms

prune134.0ms

localize5.0ms

rewrite20.0ms

series17.0ms

simplify963.0ms

prune79.0ms

localize5.0ms

rewrite12.0ms

series8.0ms

simplify959.0ms

prune32.0ms

regimes193.0ms

bsearch17.0ms

simplify2.0ms

end0.0ms

sample653.0ms

Profiling