Details

sample186.0ms

Algorithm: halfpoints

simplify22.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	12
3	12
2	10
1	6
0	5

prune51.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 1 expressions with local error:

0.1b	(*.p16 (+.p16 im im) re)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

3×	`associate-l`
2×	`p16-lft-identity-expand` `/p16-rgt-identity-expand` `p16-rgt-identity-expand` `p16-*-un-lft-identity`
1×	`+p16-lft-identity-expand` `introduce-quire` `-p16-rgt-identity-expand` `associate-l/` `-commutative` `+p16-rgt-identity-expand`

Counts

1 → 13

Calls

1 calls:

9.0ms

(*.p16 (+.p16 im im) re)

series0.0ms

Counts

1 → 1

Calls

1 calls:

0.0ms

(*.p16 (+.p16 im im) re)

simplify25.0ms

Counts

14 → 14

Iterations

Iter	Nodes
done	26
4	26
3	25
2	18
1	12
0	10

prune360.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize105.0ms

Local error

Found 1 expressions with local error:

0.2b	(+.p16 (.p16 re im) (.p16 im re))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`+p16-lft-identity-expand` `introduce-quire` `-p16-rgt-identity-expand` `+p16-rgt-identity-expand`
2×	`associate-+l+` `associate-+r+`
1×	`+-commutative` `associate-+r-` `p16-lft-identity-expand` `insert-quire-add` `/p16-rgt-identity-expand` `insert-quire-fdp-add` `p16-rgt-identity-expand` `associate-+l-` `p16-*-un-lft-identity`

Counts

1 → 17

Calls

1 calls:

6.0ms

(+.p16 (*.p16 re im) (*.p16 im re))

series0.0ms

Counts

1 → 1

Calls

1 calls:

0.0ms

(+.p16 (*.p16 re im) (*.p16 im re))

simplify161.0ms

Counts

18 → 18

Iterations

Iter	Nodes
done	288
6	288
5	263
4	131
3	63
2	34
1	21
0	16

prune519.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize155.0ms

Local error

Found 1 expressions with local error:

0.1b	(*.p16 im (+.p16 re re))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`associate-r`
2×	`p16-lft-identity-expand` `/p16-rgt-identity-expand` `p16-rgt-identity-expand` `p16-*-un-lft-identity`
1×	`distribute-rgt-in` `distribute-lft-in` `+p16-lft-identity-expand` `introduce-quire` `-p16-rgt-identity-expand` `associate-r/` `-commutative` `+p16-rgt-identity-expand`

Counts

1 → 15

Calls

1 calls:

5.0ms

(*.p16 im (+.p16 re re))

series0.0ms

Counts

1 → 1

Calls

1 calls:

0.0ms

(*.p16 im (+.p16 re re))

simplify1.9m

Counts

16 → 16

Iterations

Iter	Nodes
done	2000
249	2000
248	1992
247	1984
246	1976
245	1968
244	1960
243	1952
242	1944
241	1936
240	1928
239	1920
238	1912
237	1904
236	1896
235	1888
234	1880
233	1872
232	1864
231	1856
230	1848
229	1840
228	1832
227	1824
226	1816
225	1808
224	1800
223	1792
222	1784
221	1776
220	1768
219	1760
218	1752
217	1744
216	1736
215	1728
214	1720
213	1712
212	1704
211	1696
210	1688
209	1680
208	1672
207	1664
206	1656
205	1648
204	1640
203	1632
202	1624
201	1616
200	1608
199	1600
198	1592
197	1584
196	1576
195	1568
194	1560
193	1552
192	1544
191	1536
190	1528
189	1520
188	1512
187	1504
186	1496
185	1488
184	1480
183	1472
182	1464
181	1456
180	1448
179	1440
178	1432
177	1424
176	1416
175	1408
174	1400
173	1392
172	1384
171	1376
170	1368
169	1360
168	1352
167	1344
166	1336
165	1328
164	1320
163	1312
162	1304
161	1296
160	1288
159	1280
158	1272
157	1264
156	1256
155	1248
154	1240
153	1232
152	1224
151	1216
150	1208
149	1200
148	1192
147	1184
146	1176
145	1168
144	1160
143	1152
142	1144
141	1136
140	1128
139	1120
138	1112
137	1104
136	1096
135	1088
134	1080
133	1072
132	1064
131	1056
130	1048
129	1040
128	1032
127	1024
126	1016
125	1008
124	1000
123	992
122	984
121	976
120	968
119	960
118	952
117	944
116	936
115	928
114	920
113	912
112	904
111	896
110	888
109	880
108	872
107	864
106	856
105	848
104	840
103	832
102	824
101	816
100	808
99	800
98	792
97	784
96	776
95	768
94	760
93	752
92	744
91	736
90	728
89	720
88	712
87	704
86	696
85	688
84	680
83	672
82	664
81	656
80	648
79	640
78	632
77	624
76	616
75	608
74	600
73	592
72	584
71	576
70	568
69	560
68	552
67	544
66	536
65	528
64	520
63	512
62	504
61	496
60	488
59	480
58	472
57	464
56	456
55	448
54	440
53	432
52	424
51	416
50	408
49	400
48	392
47	384
46	376
45	368
44	360
43	352
42	344
41	336
40	328
39	320
38	312
37	304
36	296
35	288
34	280
33	272
32	264
31	256
30	248
29	240
28	232
27	224
26	216
25	208
24	200
23	192
22	184
21	176
20	168
19	160
18	152
17	144
16	136
15	128
14	120
13	112
12	104
11	96
10	88
9	80
8	72
7	64
6	56
5	48
4	40
3	32
2	25
1	18
0	13

prune409.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes102.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

Iter	Nodes
done	6
0	6

end0.0ms

sample1.9s

Algorithm: halfpoints