Details

sample15.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify2.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	19	7
3	28	7
4	38	7
5	49	7
6	70	7
7	90	7
8	125	7
9	166	7
10	190	7
11	217	7
12	244	7
13	271	7
14	305	7
15	334	7
16	360	7
17	394	7
18	423	7
19	449	7
20	483	7
21	512	7
22	538	7
23	572	7
24	601	7
25	627	7
26	661	7
27	690	7
28	716	7
29	750	7
30	779	7
31	805	7
32	839	7
33	868	7
34	894	7
35	928	7
36	957	7
37	983	7
38	1017	7
39	1046	7
40	1072	7
41	1106	7
42	1135	7
43	1161	7
44	1195	7
45	1224	7
46	1250	7
47	1284	7
48	1313	7
49	1339	7
50	1373	7
51	1402	7
52	1428	7
53	1462	7
54	1491	7
55	1517	7
56	1551	7
57	1580	7
58	1606	7
59	1640	7
60	1669	7
61	1695	7
62	1729	7
63	1758	7
64	1784	7
65	1818	7
66	1847	7
67	1873	7
68	1907	7
69	1936	7
70	1962	7
71	1996	7
72	2025	7
73	2051	7
74	2085	7
75	2114	7
76	2140	7
77	2174	7
78	2203	7
79	2229	7
80	2263	7
81	2292	7
82	2318	7
83	2352	7
84	2381	7
85	2407	7
86	2441	7
87	2470	7
88	2496	7
89	2530	7
90	2559	7
91	2585	7
92	2619	7
93	2648	7
94	2674	7
95	2708	7
96	2737	7
97	2763	7
98	2797	7
99	2826	7
100	2852	7
101	2886	7
102	2915	7
103	2941	7
104	2975	7
105	3004	7
106	3030	7
107	3064	7
108	3093	7
109	3119	7
110	3153	7
111	3182	7
112	3208	7
113	3242	7
114	3271	7
115	3297	7
116	3331	7
117	3360	7
118	3386	7
119	3420	7
120	3449	7
121	3475	7
122	3509	7
123	3538	7
124	3564	7
125	3598	7
126	3627	7
127	3653	7
128	3687	7
129	3716	7
130	3742	7
131	3776	7
132	3805	7
133	3831	7
134	3865	7
135	3894	7
136	3920	7
137	3954	7
138	3983	7
139	4009	7
140	4043	7
141	4072	7
142	4098	7
143	4132	7
144	4161	7
145	4187	7
146	4221	7
147	4250	7
148	4276	7
149	4310	7
150	4339	7
151	4365	7
152	4399	7
153	4428	7
154	4454	7
155	4488	7
156	4517	7
157	4543	7
158	4577	7
159	4606	7
160	4632	7
161	4666	7
162	4695	7
163	4721	7
164	4755	7
165	4784	7
166	4810	7
167	4844	7
168	4873	7
169	4899	7
170	4933	7
171	4962	7
172	4988	7
done	5000	7

prune2.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.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- y x) 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 (/ (- y x) 2.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

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

simplify994.0ms

Counts

16 → 16

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	33	178
1	92	165
2	217	151
3	626	151
4	2531	151
done	5001	151

prune27.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	16	1	17

Merged error: 0b

Counts

17 → 1

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify1.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0b

Counts

1 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
done	7	5

end0.0ms

sample419.0ms

Algorithm

intervals

Results

192.0ms

8000×

body

valid

Details

sample15.0ms

simplify2.0s

prune2.0ms

localize5.0ms

rewrite10.0ms

series6.0ms

simplify994.0ms

prune27.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify1.0ms

prune2.0ms

simplify1.0ms

end0.0ms

sample419.0ms

Profiling