Details

Time bar (total: 1.7m)

sample158.0ms

Algorithm
halfpoints

simplify13.0ms

Counts
1 → 1
Iterations
IterNodes
done12
312
210
16
05

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 1 expressions with local error:

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

rewrite6.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:
5.0ms
(*.p16 (+.p16 im im) re)

series0.0ms

Counts
1 → 1
Calls
1 calls:
0.0ms
(*.p16 (+.p16 im im) re)

simplify15.0ms

Counts
14 → 14
Iterations
IterNodes
done26
426
325
218
112
010

prune88.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize100.0ms

Local error

Found 1 expressions with local error:

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

rewrite7.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:
7.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))

simplify128.0ms

Counts
18 → 18
Iterations
IterNodes
done288
6288
5263
4131
363
234
121
016

prune159.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize54.0ms

Local error

Found 1 expressions with local error:

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

rewrite3.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:
3.0ms
(*.p16 im (+.p16 re re))

series0.0ms

Counts
1 → 1
Calls
1 calls:
0.0ms
(*.p16 im (+.p16 re re))

simplify1.6m

Counts
16 → 16
Iterations
IterNodes
done2000
4092000
4081996
4071990
4061985
4051979
4041975
4031972
4021966
4011962
4001956
3991951
3981945
3971941
3961938
3951932
3941928
3931922
3921917
3911911
3901907
3891904
3881898
3871894
3861888
3851883
3841877
3831873
3821870
3811864
3801860
3791854
3781849
3771843
3761839
3751836
3741830
3731826
3721820
3711815
3701809
3691805
3681802
3671796
3661792
3651786
3641781
3631775
3621771
3611768
3601762
3591758
3581752
3571747
3561741
3551737
3541734
3531728
3521724
3511718
3501713
3491707
3481703
3471700
3461694
3451690
3441684
3431679
3421673
3411669
3401666
3391660
3381656
3371650
3361645
3351639
3341635
3331632
3321626
3311622
3301616
3291611
3281605
3271601
3261598
3251592
3241588
3231582
3221577
3211571
3201567
3191564
3181558
3171554
3161548
3151543
3141537
3131533
3121530
3111524
3101520
3091514
3081509
3071503
3061499
3051496
3041490
3031486
3021480
3011475
3001469
2991465
2981462
2971456
2961452
2951446
2941441
2931435
2921431
2911428
2901422
2891418
2881412
2871407
2861401
2851397
2841394
2831388
2821384
2811378
2801373
2791367
2781363
2771360
2761354
2751350
2741344
2731339
2721333
2711329
2701326
2691320
2681316
2671310
2661305
2651299
2641295
2631292
2621286
2611282
2601276
2591271
2581265
2571261
2561258
2551252
2541248
2531242
2521237
2511231
2501227
2491224
2481218
2471214
2461208
2451203
2441197
2431193
2421190
2411184
2401180
2391174
2381169
2371163
2361159
2351156
2341150
2331146
2321140
2311135
2301129
2291125
2281122
2271116
2261112
2251106
2241101
2231095
2221091
2211088
2201082
2191078
2181072
2171067
2161061
2151057
2141054
2131048
2121044
2111038
2101033
2091027
2081023
2071020
2061014
2051010
2041004
203999
202993
201989
200986
199980
198976
197970
196965
195959
194955
193952
192946
191942
190936
189931
188925
187921
186918
185912
184908
183902
182897
181891
180887
179884
178878
177874
176868
175863
174857
173853
172850
171844
170840
169834
168829
167823
166819
165816
164810
163806
162800
161795
160789
159785
158782
157776
156772
155766
154761
153755
152751
151748
150742
149738
148732
147727
146721
145717
144714
143708
142704
141698
140693
139687
138683
137680
136674
135670
134664
133659
132653
131649
130646
129640
128636
127630
126625
125619
124615
123612
122606
121602
120596
119591
118585
117581
116578
115572
114568
113562
112557
111551
110547
109544
108538
107534
106528
105523
104517
103513
102510
101504
100500
99494
98489
97483
96479
95476
94470
93466
92460
91455
90449
89445
88442
87436
86432
85426
84421
83415
82411
81408
80402
79398
78392
77387
76381
75377
74374
73368
72364
71358
70353
69347
68343
67340
66334
65330
64324
63319
62313
61309
60306
59300
58296
57290
56285
55279
54275
53272
52266
51262
50256
49251
48245
47241
46238
45232
44228
43222
42217
41211
40207
39204
38198
37194
36188
35183
34177
33173
32170
31164
30160
29154
28149
27143
26139
25136
24130
23126
22120
21115
20109
19105
18102
1796
1692
1586
1481
1375
1271
1168
1062
958
852
747
641
537
434
328
224
118
012

prune84.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes185.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
IterNodes
done4
04

end0.0ms

sample2.2s

Algorithm
halfpoints