Details

sample312.0ms

Algorithm: halfpoints

simplify24.0ms

Counts

1 → 1

Iterations

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

prune156.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize110.0ms

Local error

Found 1 expressions with local error:

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

rewrite12.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:

10.0ms

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

series0.0ms

Counts

1 → 1

Calls

1 calls:

0.0ms

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

simplify36.0ms

Counts

14 → 14

Iterations

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

prune275.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize110.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.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:

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

simplify329.0ms

Counts

18 → 18

Iterations

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

prune187.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

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

simplify10.0m

Iterations

Iter	Nodes
804	3917
803	3913
802	3910
801	3904
800	3900
799	3894
798	3889
797	3883
796	3879
795	3876
794	3870
793	3866
792	3860
791	3855
790	3849
789	3845
788	3842
787	3836
786	3832
785	3826
784	3821
783	3815
782	3811
781	3808
780	3802
779	3798
778	3792
777	3787
776	3781
775	3777
774	3774
773	3768
772	3764
771	3758
770	3753
769	3747
768	3743
767	3740
766	3734
765	3730
764	3724
763	3719
762	3713
761	3709
760	3706
759	3700
758	3696
757	3690
756	3685
755	3679
754	3675
753	3672
752	3666
751	3662
750	3656
749	3651
748	3645
747	3641
746	3638
745	3632
744	3628
743	3622
742	3617
741	3611
740	3607
739	3604
738	3598
737	3594
736	3588
735	3583
734	3577
733	3573
732	3570
731	3564
730	3560
729	3554
728	3549
727	3543
726	3539
725	3536
724	3530
723	3526
722	3520
721	3515
720	3509
719	3505
718	3502
717	3496
716	3492
715	3486
714	3481
713	3475
712	3471
711	3468
710	3462
709	3458
708	3452
707	3447
706	3441
705	3437
704	3434
703	3428
702	3424
701	3418
700	3413
699	3407
698	3403
697	3400
696	3394
695	3390
694	3384
693	3379
692	3373
691	3369
690	3366
689	3360
688	3356
687	3350
686	3345
685	3339
684	3335
683	3332
682	3326
681	3322
680	3316
679	3311
678	3305
677	3301
676	3298
675	3292
674	3288
673	3282
672	3277
671	3271
670	3267
669	3264
668	3258
667	3254
666	3248
665	3243
664	3237
663	3233
662	3230
661	3224
660	3220
659	3214
658	3209
657	3203
656	3199
655	3196
654	3190
653	3186
652	3180
651	3175
650	3169
649	3165
648	3162
647	3156
646	3152
645	3146
644	3141
643	3135
642	3131
641	3128
640	3122
639	3118
638	3112
637	3107
636	3101
635	3097
634	3094
633	3088
632	3084
631	3078
630	3073
629	3067
628	3063
627	3060
626	3054
625	3050
624	3044
623	3039
622	3033
621	3029
620	3026
619	3020
618	3016
617	3010
616	3005
615	2999
614	2995
613	2992
612	2986
611	2982
610	2976
609	2971
608	2965
607	2961
606	2958
605	2952
604	2948
603	2942
602	2937
601	2931
600	2927
599	2924
598	2918
597	2914
596	2908
595	2903
594	2897
593	2893
592	2890
591	2884
590	2880
589	2874
588	2869
587	2863
586	2859
585	2856
584	2850
583	2846
582	2840
581	2835
580	2829
579	2825
578	2822
577	2816
576	2812
575	2806
574	2801
573	2795
572	2791
571	2788
570	2782
569	2778
568	2772
567	2767
566	2761
565	2757
564	2754
563	2748
562	2744
561	2738
560	2733
559	2727
558	2723
557	2720
556	2714
555	2710
554	2704
553	2699
552	2693
551	2689
550	2686
549	2680
548	2676
547	2670
546	2665
545	2659
544	2655
543	2652
542	2646
541	2642
540	2636
539	2631
538	2625
537	2621
536	2618
535	2612
534	2608
533	2602
532	2597
531	2591
530	2587
529	2584
528	2578
527	2574
526	2568
525	2563
524	2557
523	2553
522	2550
521	2544
520	2540
519	2534
518	2529
517	2523
516	2519
515	2516
514	2510
513	2506
512	2500
511	2495
510	2489
509	2485
508	2482
507	2476
506	2472
505	2466
504	2461
503	2455
502	2451
501	2448
500	2442
499	2438
498	2432
497	2427
496	2421
495	2417
494	2414
493	2408
492	2404
491	2398
490	2393
489	2387
488	2383
487	2380
486	2374
485	2370
484	2364
483	2359
482	2353
481	2349
480	2346
479	2340
478	2336
477	2330
476	2325
475	2319
474	2315
473	2312
472	2306
471	2302
470	2296
469	2291
468	2285
467	2281
466	2278
465	2272
464	2268
463	2262
462	2257
461	2251
460	2247
459	2244
458	2238
457	2234
456	2228
455	2223
454	2217
453	2213
452	2210
451	2204
450	2200
449	2194
448	2189
447	2183
446	2179
445	2176
444	2170
443	2166
442	2160
441	2155
440	2149
439	2145
438	2142
437	2136
436	2132
435	2126
434	2121
433	2115
432	2111
431	2108
430	2102
429	2098
428	2092
427	2087
426	2081
425	2077
424	2074
423	2068
422	2064
421	2058
420	2053
419	2047
418	2043
417	2040
416	2034
415	2030
414	2024
413	2019
412	2013
411	2009
410	2006
409	2000
408	1996
407	1990
406	1985
405	1979
404	1975
403	1972
402	1966
401	1962
400	1956
399	1951
398	1945
397	1941
396	1938
395	1932
394	1928
393	1922
392	1917
391	1911
390	1907
389	1904
388	1898
387	1894
386	1888
385	1883
384	1877
383	1873
382	1870
381	1864
380	1860
379	1854
378	1849
377	1843
376	1839
375	1836
374	1830
373	1826
372	1820
371	1815
370	1809
369	1805
368	1802
367	1796
366	1792
365	1786
364	1781
363	1775
362	1771
361	1768
360	1762
359	1758
358	1752
357	1747
356	1741
355	1737
354	1734
353	1728
352	1724
351	1718
350	1713
349	1707
348	1703
347	1700
346	1694
345	1690
344	1684
343	1679
342	1673
341	1669
340	1666
339	1660
338	1656
337	1650
336	1645
335	1639
334	1635
333	1632
332	1626
331	1622
330	1616
329	1611
328	1605
327	1601
326	1598
325	1592
324	1588
323	1582
322	1577
321	1571
320	1567
319	1564
318	1558
317	1554
316	1548
315	1543
314	1537
313	1533
312	1530
311	1524
310	1520
309	1514
308	1509
307	1503
306	1499
305	1496
304	1490
303	1486
302	1480
301	1475
300	1469
299	1465
298	1462
297	1456
296	1452
295	1446
294	1441
293	1435
292	1431
291	1428
290	1422
289	1418
288	1412
287	1407
286	1401
285	1397
284	1394
283	1388
282	1384
281	1378
280	1373
279	1367
278	1363
277	1360
276	1354
275	1350
274	1344
273	1339
272	1333
271	1329
270	1326
269	1320
268	1316
267	1310
266	1305
265	1299
264	1295
263	1292
262	1286
261	1282
260	1276
259	1271
258	1265
257	1261
256	1258
255	1252
254	1248
253	1242
252	1237
251	1231
250	1227
249	1224
248	1218
247	1214
246	1208
245	1203
244	1197
243	1193
242	1190
241	1184
240	1180
239	1174
238	1169
237	1163
236	1159
235	1156
234	1150
233	1146
232	1140
231	1135
230	1129
229	1125
228	1122
227	1116
226	1112
225	1106
224	1101
223	1095
222	1091
221	1088
220	1082
219	1078
218	1072
217	1067
216	1061
215	1057
214	1054
213	1048
212	1044
211	1038
210	1033
209	1027
208	1023
207	1020
206	1014
205	1010
204	1004
203	999
202	993
201	989
200	986
199	980
198	976
197	970
196	965
195	959
194	955
193	952
192	946
191	942
190	936
189	931
188	925
187	921
186	918
185	912
184	908
183	902
182	897
181	891
180	887
179	884
178	878
177	874
176	868
175	863
174	857
173	853
172	850
171	844
170	840
169	834
168	829
167	823
166	819
165	816
164	810
163	806
162	800
161	795
160	789
159	785
158	782
157	776
156	772
155	766
154	761
153	755
152	751
151	748
150	742
149	738
148	732
147	727
146	721
145	717
144	714
143	708
142	704
141	698
140	693
139	687
138	683
137	680
136	674
135	670
134	664
133	659
132	653
131	649
130	646
129	640
128	636
127	630
126	625
125	619
124	615
123	612
122	606
121	602
120	596
119	591
118	585
117	581
116	578
115	572
114	568
113	562
112	557
111	551
110	547
109	544
108	538
107	534
106	528
105	523
104	517
103	513
102	510
101	504
100	500
99	494
98	489
97	483
96	479
95	476
94	470
93	466
92	460
91	455
90	449
89	445
88	442
87	436
86	432
85	426
84	421
83	415
82	411
81	408
80	402
79	398
78	392
77	387
76	381
75	377
74	374
73	368
72	364
71	358
70	353
69	347
68	343
67	340
66	334
65	330
64	324
63	319
62	313
61	309
60	306
59	300
58	296
57	290
56	285
55	279
54	275
53	272
52	266
51	262
50	256
49	251
48	245
47	241
46	238
45	232
44	228
43	222
42	217
41	211
40	207
39	204
38	198
37	194
36	188
35	183
34	177
33	173
32	170
31	164
30	160
29	154
28	149
27	143
26	139
25	136
24	130
23	126
22	120
21	115
20	109
19	105
18	102
17	96
16	92
15	86
14	81
13	75
12	71
11	68
10	62
9	58
8	52
7	47
6	41
5	37
4	34
3	28
2	24
1	18
0	12