Details

Time bar (total: 10.0m)

sample268.0ms

Algorithm
halfpoints

simplify478.0ms

Counts
1 → 1
Iterations
IterNodes
done12
312
210
16
05

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 1 expressions with local error:

0.0b
(*.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)

series1.0ms

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

simplify15.0ms

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

prune103.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize76.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))

simplify129.0ms

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

prune160.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize84.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.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))

simplify10.0m

Iterations
IterNodes
4793840
4783832
4773824
4763816
4753808
4743800
4733792
4723784
4713776
4703768
4693760
4683752
4673744
4663736
4653728
4643720
4633712
4623704
4613696
4603688
4593680
4583672
4573664
4563656
4553648
4543640
4533632
4523624
4513616
4503608
4493600
4483592
4473584
4463576
4453568
4443560
4433552
4423544
4413536
4403528
4393520
4383512
4373504
4363496
4353488
4343480
4333472
4323464
4313456
4303448
4293440
4283432
4273424
4263416
4253408
4243400
4233392
4223384
4213376
4203368
4193360
4183352
4173344
4163336
4153328
4143320
4133312
4123304
4113296
4103288
4093280
4083272
4073264
4063256
4053248
4043240
4033232
4023224
4013216
4003208
3993200
3983192
3973184
3963176
3953168
3943160
3933152
3923144
3913136
3903128
3893120
3883112
3873104
3863096
3853088
3843080
3833072
3823064
3813056
3803048
3793040
3783032
3773024
3763016
3753008
3743000
3732992
3722984
3712976
3702968
3692960
3682952
3672944
3662936
3652928
3642920
3632912
3622904
3612896
3602888
3592880
3582872
3572864
3562856
3552848
3542840
3532832
3522824
3512816
3502808
3492800
3482792
3472784
3462776
3452768
3442760
3432752
3422744
3412736
3402728
3392720
3382712
3372704
3362696
3352688
3342680
3332672
3322664
3312656
3302648
3292640
3282632
3272624
3262616
3252608
3242600
3232592
3222584
3212576
3202568
3192560
3182552
3172544
3162536
3152528
3142520
3132512
3122504
3112496
3102488
3092480
3082472
3072464
3062456
3052448
3042440
3032432
3022424
3012416
3002408
2992400
2982392
2972384
2962376
2952368
2942360
2932352
2922344
2912336
2902328
2892320
2882312
2872304
2862296
2852288
2842280
2832272
2822264
2812256
2802248
2792240
2782232
2772224
2762216
2752208
2742200
2732192
2722184
2712176
2702168
2692160
2682152
2672144
2662136
2652128
2642120
2632112
2622104
2612096
2602088
2592080
2582072
2572064
2562056
2552048
2542040
2532032
2522024
2512016
2502008
2492000
2481992
2471984
2461976
2451968
2441960
2431952
2421944
2411936
2401928
2391920
2381912
2371904
2361896
2351888
2341880
2331872
2321864
2311856
2301848
2291840
2281832
2271824
2261816
2251808
2241800
2231792
2221784
2211776
2201768
2191760
2181752
2171744
2161736
2151728
2141720
2131712
2121704
2111696
2101688
2091680
2081672
2071664
2061656
2051648
2041640
2031632
2021624
2011616
2001608
1991600
1981592
1971584
1961576
1951568
1941560
1931552
1921544
1911536
1901528
1891520
1881512
1871504
1861496
1851488
1841480
1831472
1821464
1811456
1801448
1791440
1781432
1771424
1761416
1751408
1741400
1731392
1721384
1711376
1701368
1691360
1681352
1671344
1661336
1651328
1641320
1631312
1621304
1611296
1601288
1591280
1581272
1571264
1561256
1551248
1541240
1531232
1521224
1511216
1501208
1491200
1481192
1471184
1461176
1451168
1441160
1431152
1421144
1411136
1401128
1391120
1381112
1371104
1361096
1351088
1341080
1331072
1321064
1311056
1301048
1291040
1281032
1271024
1261016
1251008
1241000
123992
122984
121976
120968
119960
118952
117944
116936
115928
114920
113912
112904
111896
110888
109880
108872
107864
106856
105848
104840
103832
102824
101816
100808
99800
98792
97784
96776
95768
94760
93752
92744
91736
90728
89720
88712
87704
86696
85688
84680
83672
82664
81656
80648
79640
78632
77624
76616
75608
74600
73592
72584
71576
70568
69560
68552
67544
66536
65528
64520
63512
62504
61496
60488
59480
58472
57464
56456
55448
54440
53432
52424
51416
50408
49400
48392
47384
46376
45368
44360
43352
42344
41336
40328
39320
38312
37304
36296
35288
34280
33272
32264
31256
30248
29240
28232
27224
26216
25208
24200
23192
22184
21176
20168
19160
18152
17144
16136
15128
14120
13112
12104
1196
1088
980
872
764
656
548
440
332
225
118
013