1// Copyright 2010 The Go Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
5package cmplx
6
7import (
8	"math"
9	"testing"
10)
11
12// The higher-precision values in vc26 were used to derive the
13// input arguments vc (see also comment below). For reference
14// only (do not delete).
15var vc26 = []complex128{
16	(4.97901192488367350108546816 + 7.73887247457810456552351752i),
17	(7.73887247457810456552351752 - 0.27688005719200159404635997i),
18	(-0.27688005719200159404635997 - 5.01060361827107492160848778i),
19	(-5.01060361827107492160848778 + 9.63629370719841737980004837i),
20	(9.63629370719841737980004837 + 2.92637723924396464525443662i),
21	(2.92637723924396464525443662 + 5.22908343145930665230025625i),
22	(5.22908343145930665230025625 + 2.72793991043601025126008608i),
23	(2.72793991043601025126008608 + 1.82530809168085506044576505i),
24	(1.82530809168085506044576505 - 8.68592476857560136238589621i),
25	(-8.68592476857560136238589621 + 4.97901192488367350108546816i),
26}
27
28var vc = []complex128{
29	(4.9790119248836735e+00 + 7.7388724745781045e+00i),
30	(7.7388724745781045e+00 - 2.7688005719200159e-01i),
31	(-2.7688005719200159e-01 - 5.0106036182710749e+00i),
32	(-5.0106036182710749e+00 + 9.6362937071984173e+00i),
33	(9.6362937071984173e+00 + 2.9263772392439646e+00i),
34	(2.9263772392439646e+00 + 5.2290834314593066e+00i),
35	(5.2290834314593066e+00 + 2.7279399104360102e+00i),
36	(2.7279399104360102e+00 + 1.8253080916808550e+00i),
37	(1.8253080916808550e+00 - 8.6859247685756013e+00i),
38	(-8.6859247685756013e+00 + 4.9790119248836735e+00i),
39}
40
41// The expected results below were computed by the high precision calculators
42// at https://keisan.casio.com/.  More exact input values (array vc[], above)
43// were obtained by printing them with "%.26f".  The answers were calculated
44// to 26 digits (by using the "Digit number" drop-down control of each
45// calculator).
46
47var abs = []float64{
48	9.2022120669932650313380972e+00,
49	7.7438239742296106616261394e+00,
50	5.0182478202557746902556648e+00,
51	1.0861137372799545160704002e+01,
52	1.0070841084922199607011905e+01,
53	5.9922447613166942183705192e+00,
54	5.8978784056736762299945176e+00,
55	3.2822866700678709020367184e+00,
56	8.8756430028990417290744307e+00,
57	1.0011785496777731986390856e+01,
58}
59
60var acos = []complex128{
61	(1.0017679804707456328694569 - 2.9138232718554953784519807i),
62	(0.03606427612041407369636057 + 2.7358584434576260925091256i),
63	(1.6249365462333796703711823 + 2.3159537454335901187730929i),
64	(2.0485650849650740120660391 - 3.0795576791204117911123886i),
65	(0.29621132089073067282488147 - 3.0007392508200622519398814i),
66	(1.0664555914934156601503632 - 2.4872865024796011364747111i),
67	(0.48681307452231387690013905 - 2.463655912283054555225301i),
68	(0.6116977071277574248407752 - 1.8734458851737055262693056i),
69	(1.3649311280370181331184214 + 2.8793528632328795424123832i),
70	(2.6189310485682988308904501 - 2.9956543302898767795858704i),
71}
72var acosh = []complex128{
73	(2.9138232718554953784519807 + 1.0017679804707456328694569i),
74	(2.7358584434576260925091256 - 0.03606427612041407369636057i),
75	(2.3159537454335901187730929 - 1.6249365462333796703711823i),
76	(3.0795576791204117911123886 + 2.0485650849650740120660391i),
77	(3.0007392508200622519398814 + 0.29621132089073067282488147i),
78	(2.4872865024796011364747111 + 1.0664555914934156601503632i),
79	(2.463655912283054555225301 + 0.48681307452231387690013905i),
80	(1.8734458851737055262693056 + 0.6116977071277574248407752i),
81	(2.8793528632328795424123832 - 1.3649311280370181331184214i),
82	(2.9956543302898767795858704 + 2.6189310485682988308904501i),
83}
84var asin = []complex128{
85	(0.56902834632415098636186476 + 2.9138232718554953784519807i),
86	(1.5347320506744825455349611 - 2.7358584434576260925091256i),
87	(-0.054140219438483051139860579 - 2.3159537454335901187730929i),
88	(-0.47776875817017739283471738 + 3.0795576791204117911123886i),
89	(1.2745850059041659464064402 + 3.0007392508200622519398814i),
90	(0.50434073530148095908095852 + 2.4872865024796011364747111i),
91	(1.0839832522725827423311826 + 2.463655912283054555225301i),
92	(0.9590986196671391943905465 + 1.8734458851737055262693056i),
93	(0.20586519875787848611290031 - 2.8793528632328795424123832i),
94	(-1.0481347217734022116591284 + 2.9956543302898767795858704i),
95}
96var asinh = []complex128{
97	(2.9113760469415295679342185 + 0.99639459545704326759805893i),
98	(2.7441755423994259061579029 - 0.035468308789000500601119392i),
99	(-2.2962136462520690506126678 - 1.5144663565690151885726707i),
100	(-3.0771233459295725965402455 + 1.0895577967194013849422294i),
101	(3.0048366100923647417557027 + 0.29346979169819220036454168i),
102	(2.4800059370795363157364643 + 1.0545868606049165710424232i),
103	(2.4718773838309585611141821 + 0.47502344364250803363708842i),
104	(1.8910743588080159144378396 + 0.56882925572563602341139174i),
105	(2.8735426423367341878069406 - 1.362376149648891420997548i),
106	(-2.9981750586172477217567878 + 0.5183571985225367505624207i),
107}
108var atan = []complex128{
109	(1.5115747079332741358607654 + 0.091324403603954494382276776i),
110	(1.4424504323482602560806727 - 0.0045416132642803911503770933i),
111	(-1.5593488703630532674484026 - 0.20163295409248362456446431i),
112	(-1.5280619472445889867794105 + 0.081721556230672003746956324i),
113	(1.4759909163240799678221039 + 0.028602969320691644358773586i),
114	(1.4877353772046548932715555 + 0.14566877153207281663773599i),
115	(1.4206983927779191889826 + 0.076830486127880702249439993i),
116	(1.3162236060498933364869556 + 0.16031313000467530644933363i),
117	(1.5473450684303703578810093 - 0.11064907507939082484935782i),
118	(-1.4841462340185253987375812 + 0.049341850305024399493142411i),
119}
120var atanh = []complex128{
121	(0.058375027938968509064640438 + 1.4793488495105334458167782i),
122	(0.12977343497790381229915667 - 1.5661009410463561327262499i),
123	(-0.010576456067347252072200088 - 1.3743698658402284549750563i),
124	(-0.042218595678688358882784918 + 1.4891433968166405606692604i),
125	(0.095218997991316722061828397 + 1.5416884098777110330499698i),
126	(0.079965459366890323857556487 + 1.4252510353873192700350435i),
127	(0.15051245471980726221708301 + 1.4907432533016303804884461i),
128	(0.25082072933993987714470373 + 1.392057665392187516442986i),
129	(0.022896108815797135846276662 - 1.4609224989282864208963021i),
130	(-0.08665624101841876130537396 + 1.5207902036935093480142159i),
131}
132var conj = []complex128{
133	(4.9790119248836735e+00 - 7.7388724745781045e+00i),
134	(7.7388724745781045e+00 + 2.7688005719200159e-01i),
135	(-2.7688005719200159e-01 + 5.0106036182710749e+00i),
136	(-5.0106036182710749e+00 - 9.6362937071984173e+00i),
137	(9.6362937071984173e+00 - 2.9263772392439646e+00i),
138	(2.9263772392439646e+00 - 5.2290834314593066e+00i),
139	(5.2290834314593066e+00 - 2.7279399104360102e+00i),
140	(2.7279399104360102e+00 - 1.8253080916808550e+00i),
141	(1.8253080916808550e+00 + 8.6859247685756013e+00i),
142	(-8.6859247685756013e+00 - 4.9790119248836735e+00i),
143}
144var cos = []complex128{
145	(3.024540920601483938336569e+02 + 1.1073797572517071650045357e+03i),
146	(1.192858682649064973252758e-01 + 2.7857554122333065540970207e-01i),
147	(7.2144394304528306603857962e+01 - 2.0500129667076044169954205e+01i),
148	(2.24921952538403984190541e+03 - 7.317363745602773587049329e+03i),
149	(-9.148222970032421760015498e+00 + 1.953124661113563541862227e+00i),
150	(-9.116081175857732248227078e+01 - 1.992669213569952232487371e+01i),
151	(3.795639179042704640002918e+00 + 6.623513350981458399309662e+00i),
152	(-2.9144840732498869560679084e+00 - 1.214620271628002917638748e+00i),
153	(-7.45123482501299743872481e+02 + 2.8641692314488080814066734e+03i),
154	(-5.371977967039319076416747e+01 + 4.893348341339375830564624e+01i),
155}
156var cosh = []complex128{
157	(8.34638383523018249366948e+00 + 7.2181057886425846415112064e+01i),
158	(1.10421967379919366952251e+03 - 3.1379638689277575379469861e+02i),
159	(3.051485206773701584738512e-01 - 2.6805384730105297848044485e-01i),
160	(-7.33294728684187933370938e+01 + 1.574445942284918251038144e+01i),
161	(-7.478643293945957535757355e+03 + 1.6348382209913353929473321e+03i),
162	(4.622316522966235701630926e+00 - 8.088695185566375256093098e+00i),
163	(-8.544333183278877406197712e+01 + 3.7505836120128166455231717e+01i),
164	(-1.934457815021493925115198e+00 + 7.3725859611767228178358673e+00i),
165	(-2.352958770061749348353548e+00 - 2.034982010440878358915409e+00i),
166	(7.79756457532134748165069e+02 + 2.8549350716819176560377717e+03i),
167}
168var exp = []complex128{
169	(1.669197736864670815125146e+01 + 1.4436895109507663689174096e+02i),
170	(2.2084389286252583447276212e+03 - 6.2759289284909211238261917e+02i),
171	(2.227538273122775173434327e-01 + 7.2468284028334191250470034e-01i),
172	(-6.5182985958153548997881627e-03 - 1.39965837915193860879044e-03i),
173	(-1.4957286524084015746110777e+04 + 3.269676455931135688988042e+03i),
174	(9.218158701983105935659273e+00 - 1.6223985291084956009304582e+01i),
175	(-1.7088175716853040841444505e+02 + 7.501382609870410713795546e+01i),
176	(-3.852461315830959613132505e+00 + 1.4808420423156073221970892e+01i),
177	(-4.586775503301407379786695e+00 - 4.178501081246873415144744e+00i),
178	(4.451337963005453491095747e-05 - 1.62977574205442915935263e-04i),
179}
180var log = []complex128{
181	(2.2194438972179194425697051e+00 + 9.9909115046919291062461269e-01i),
182	(2.0468956191154167256337289e+00 - 3.5762575021856971295156489e-02i),
183	(1.6130808329853860438751244e+00 - 1.6259990074019058442232221e+00i),
184	(2.3851910394823008710032651e+00 + 2.0502936359659111755031062e+00i),
185	(2.3096442270679923004800651e+00 + 2.9483213155446756211881774e-01i),
186	(1.7904660933974656106951860e+00 + 1.0605860367252556281902109e+00i),
187	(1.7745926939841751666177512e+00 + 4.8084556083358307819310911e-01i),
188	(1.1885403350045342425648780e+00 + 5.8969634164776659423195222e-01i),
189	(2.1833107837679082586772505e+00 - 1.3636647724582455028314573e+00i),
190	(2.3037629487273259170991671e+00 + 2.6210913895386013290915234e+00i),
191}
192var log10 = []complex128{
193	(9.6389223745559042474184943e-01 + 4.338997735671419492599631e-01i),
194	(8.8895547241376579493490892e-01 - 1.5531488990643548254864806e-02i),
195	(7.0055210462945412305244578e-01 - 7.0616239649481243222248404e-01i),
196	(1.0358753067322445311676952e+00 + 8.9043121238134980156490909e-01i),
197	(1.003065742975330237172029e+00 + 1.2804396782187887479857811e-01i),
198	(7.7758954439739162532085157e-01 + 4.6060666333341810869055108e-01i),
199	(7.7069581462315327037689152e-01 + 2.0882857371769952195512475e-01i),
200	(5.1617650901191156135137239e-01 + 2.5610186717615977620363299e-01i),
201	(9.4819982567026639742663212e-01 - 5.9223208584446952284914289e-01i),
202	(1.0005115362454417135973429e+00 + 1.1383255270407412817250921e+00i),
203}
204
205type ff struct {
206	r, theta float64
207}
208
209var polar = []ff{
210	{9.2022120669932650313380972e+00, 9.9909115046919291062461269e-01},
211	{7.7438239742296106616261394e+00, -3.5762575021856971295156489e-02},
212	{5.0182478202557746902556648e+00, -1.6259990074019058442232221e+00},
213	{1.0861137372799545160704002e+01, 2.0502936359659111755031062e+00},
214	{1.0070841084922199607011905e+01, 2.9483213155446756211881774e-01},
215	{5.9922447613166942183705192e+00, 1.0605860367252556281902109e+00},
216	{5.8978784056736762299945176e+00, 4.8084556083358307819310911e-01},
217	{3.2822866700678709020367184e+00, 5.8969634164776659423195222e-01},
218	{8.8756430028990417290744307e+00, -1.3636647724582455028314573e+00},
219	{1.0011785496777731986390856e+01, 2.6210913895386013290915234e+00},
220}
221var pow = []complex128{
222	(-2.499956739197529585028819e+00 + 1.759751724335650228957144e+00i),
223	(7.357094338218116311191939e+04 - 5.089973412479151648145882e+04i),
224	(1.320777296067768517259592e+01 - 3.165621914333901498921986e+01i),
225	(-3.123287828297300934072149e-07 - 1.9849567521490553032502223E-7i),
226	(8.0622651468477229614813e+04 - 7.80028727944573092944363e+04i),
227	(-1.0268824572103165858577141e+00 - 4.716844738244989776610672e-01i),
228	(-4.35953819012244175753187e+01 + 2.2036445974645306917648585e+02i),
229	(8.3556092283250594950239e-01 - 1.2261571947167240272593282e+01i),
230	(1.582292972120769306069625e+03 + 1.273564263524278244782512e+04i),
231	(6.592208301642122149025369e-08 + 2.584887236651661903526389e-08i),
232}
233var sin = []complex128{
234	(-1.1073801774240233539648544e+03 + 3.024539773002502192425231e+02i),
235	(1.0317037521400759359744682e+00 - 3.2208979799929570242818e-02i),
236	(-2.0501952097271429804261058e+01 - 7.2137981348240798841800967e+01i),
237	(7.3173638080346338642193078e+03 + 2.249219506193664342566248e+03i),
238	(-1.964375633631808177565226e+00 - 9.0958264713870404464159683e+00i),
239	(1.992783647158514838337674e+01 - 9.11555769410191350416942e+01i),
240	(-6.680335650741921444300349e+00 + 3.763353833142432513086117e+00i),
241	(1.2794028166657459148245993e+00 - 2.7669092099795781155109602e+00i),
242	(2.8641693949535259594188879e+03 + 7.451234399649871202841615e+02i),
243	(-4.893811726244659135553033e+01 - 5.371469305562194635957655e+01i),
244}
245var sinh = []complex128{
246	(8.34559353341652565758198e+00 + 7.2187893208650790476628899e+01i),
247	(1.1042192548260646752051112e+03 - 3.1379650595631635858792056e+02i),
248	(-8.239469336509264113041849e-02 + 9.9273668758439489098514519e-01i),
249	(7.332295456982297798219401e+01 - 1.574585908122833444899023e+01i),
250	(-7.4786432301380582103534216e+03 + 1.63483823493980029604071e+03i),
251	(4.595842179016870234028347e+00 - 8.135290105518580753211484e+00i),
252	(-8.543842533574163435246793e+01 + 3.750798997857594068272375e+01i),
253	(-1.918003500809465688017307e+00 + 7.4358344619793504041350251e+00i),
254	(-2.233816733239658031433147e+00 - 2.143519070805995056229335e+00i),
255	(-7.797564130187551181105341e+02 - 2.8549352346594918614806877e+03i),
256}
257var sqrt = []complex128{
258	(2.6628203086086130543813948e+00 + 1.4531345674282185229796902e+00i),
259	(2.7823278427251986247149295e+00 - 4.9756907317005224529115567e-02i),
260	(1.5397025302089642757361015e+00 - 1.6271336573016637535695727e+00i),
261	(1.7103411581506875260277898e+00 + 2.8170677122737589676157029e+00i),
262	(3.1390392472953103383607947e+00 + 4.6612625849858653248980849e-01i),
263	(2.1117080764822417640789287e+00 + 1.2381170223514273234967850e+00i),
264	(2.3587032281672256703926939e+00 + 5.7827111903257349935720172e-01i),
265	(1.7335262588873410476661577e+00 + 5.2647258220721269141550382e-01i),
266	(2.3131094974708716531499282e+00 - 1.8775429304303785570775490e+00i),
267	(8.1420535745048086240947359e-01 + 3.0575897587277248522656113e+00i),
268}
269var tan = []complex128{
270	(-1.928757919086441129134525e-07 + 1.0000003267499169073251826e+00i),
271	(1.242412685364183792138948e+00 - 3.17149693883133370106696e+00i),
272	(-4.6745126251587795225571826e-05 - 9.9992439225263959286114298e-01i),
273	(4.792363401193648192887116e-09 + 1.0000000070589333451557723e+00i),
274	(2.345740824080089140287315e-03 + 9.947733046570988661022763e-01i),
275	(-2.396030789494815566088809e-05 + 9.9994781345418591429826779e-01i),
276	(-7.370204836644931340905303e-03 + 1.0043553413417138987717748e+00i),
277	(-3.691803847992048527007457e-02 + 9.6475071993469548066328894e-01i),
278	(-2.781955256713729368401878e-08 - 1.000000049848910609006646e+00i),
279	(9.4281590064030478879791249e-05 + 9.9999119340863718183758545e-01i),
280}
281var tanh = []complex128{
282	(1.0000921981225144748819918e+00 + 2.160986245871518020231507e-05i),
283	(9.9999967727531993209562591e-01 - 1.9953763222959658873657676e-07i),
284	(-1.765485739548037260789686e+00 + 1.7024216325552852445168471e+00i),
285	(-9.999189442732736452807108e-01 + 3.64906070494473701938098e-05i),
286	(9.9999999224622333738729767e-01 - 3.560088949517914774813046e-09i),
287	(1.0029324933367326862499343e+00 - 4.948790309797102353137528e-03i),
288	(9.9996113064788012488693567e-01 - 4.226995742097032481451259e-05i),
289	(1.0074784189316340029873945e+00 - 4.194050814891697808029407e-03i),
290	(9.9385534229718327109131502e-01 + 5.144217985914355502713437e-02i),
291	(-1.0000000491604982429364892e+00 - 2.901873195374433112227349e-08i),
292}
293
294// special cases
295var vcAbsSC = []complex128{
296	NaN(),
297}
298var absSC = []float64{
299	math.NaN(),
300}
301var vcAcosSC = []complex128{
302	NaN(),
303}
304var acosSC = []complex128{
305	NaN(),
306}
307var vcAcoshSC = []complex128{
308	NaN(),
309}
310var acoshSC = []complex128{
311	NaN(),
312}
313var vcAsinSC = []complex128{
314	NaN(),
315}
316var asinSC = []complex128{
317	NaN(),
318}
319var vcAsinhSC = []complex128{
320	NaN(),
321}
322var asinhSC = []complex128{
323	NaN(),
324}
325var vcAtanSC = []complex128{
326	NaN(),
327}
328var atanSC = []complex128{
329	NaN(),
330}
331var vcAtanhSC = []complex128{
332	NaN(),
333}
334var atanhSC = []complex128{
335	NaN(),
336}
337var vcConjSC = []complex128{
338	NaN(),
339}
340var conjSC = []complex128{
341	NaN(),
342}
343var vcCosSC = []complex128{
344	NaN(),
345}
346var cosSC = []complex128{
347	NaN(),
348}
349var vcCoshSC = []complex128{
350	NaN(),
351}
352var coshSC = []complex128{
353	NaN(),
354}
355var vcExpSC = []complex128{
356	NaN(),
357}
358var expSC = []complex128{
359	NaN(),
360}
361var vcIsNaNSC = []complex128{
362	complex(math.Inf(-1), math.Inf(-1)),
363	complex(math.Inf(-1), math.NaN()),
364	complex(math.NaN(), math.Inf(-1)),
365	complex(0, math.NaN()),
366	complex(math.NaN(), 0),
367	complex(math.Inf(1), math.Inf(1)),
368	complex(math.Inf(1), math.NaN()),
369	complex(math.NaN(), math.Inf(1)),
370	complex(math.NaN(), math.NaN()),
371}
372var isNaNSC = []bool{
373	false,
374	false,
375	false,
376	true,
377	true,
378	false,
379	false,
380	false,
381	true,
382}
383var vcLogSC = []complex128{
384	NaN(),
385}
386var logSC = []complex128{
387	NaN(),
388}
389var vcLog10SC = []complex128{
390	NaN(),
391}
392var log10SC = []complex128{
393	NaN(),
394}
395var vcPolarSC = []complex128{
396	NaN(),
397}
398var polarSC = []ff{
399	{math.NaN(), math.NaN()},
400}
401var vcPowSC = [][2]complex128{
402	{NaN(), NaN()},
403}
404var powSC = []complex128{
405	NaN(),
406}
407var vcSinSC = []complex128{
408	NaN(),
409}
410var sinSC = []complex128{
411	NaN(),
412}
413var vcSinhSC = []complex128{
414	NaN(),
415}
416var sinhSC = []complex128{
417	NaN(),
418}
419var vcSqrtSC = []complex128{
420	NaN(),
421}
422var sqrtSC = []complex128{
423	NaN(),
424}
425var vcTanSC = []complex128{
426	NaN(),
427}
428var tanSC = []complex128{
429	NaN(),
430}
431var vcTanhSC = []complex128{
432	NaN(),
433}
434var tanhSC = []complex128{
435	NaN(),
436}
437
438// branch cut continuity checks
439// points on each axis at |z| > 1 are checked for one-sided continuity from both the positive and negative side
440// all possible branch cuts for the elementary functions are at one of these points
441
442var zero = 0.0
443var eps = 1.0 / (1 << 53)
444
445var branchPoints = [][2]complex128{
446	{complex(2.0, zero), complex(2.0, eps)},
447	{complex(2.0, -zero), complex(2.0, -eps)},
448	{complex(-2.0, zero), complex(-2.0, eps)},
449	{complex(-2.0, -zero), complex(-2.0, -eps)},
450	{complex(zero, 2.0), complex(eps, 2.0)},
451	{complex(-zero, 2.0), complex(-eps, 2.0)},
452	{complex(zero, -2.0), complex(eps, -2.0)},
453	{complex(-zero, -2.0), complex(-eps, -2.0)},
454}
455
456// functions borrowed from pkg/math/all_test.go
457func tolerance(a, b, e float64) bool {
458	d := a - b
459	if d < 0 {
460		d = -d
461	}
462
463	// note: b is correct (expected) value, a is actual value.
464	// make error tolerance a fraction of b, not a.
465	if b != 0 {
466		e = e * b
467		if e < 0 {
468			e = -e
469		}
470	}
471	return d < e
472}
473func veryclose(a, b float64) bool { return tolerance(a, b, 4e-16) }
474func alike(a, b float64) bool {
475	switch {
476	case a != a && b != b: // math.IsNaN(a) && math.IsNaN(b):
477		return true
478	case a == b:
479		return math.Signbit(a) == math.Signbit(b)
480	}
481	return false
482}
483
484func cTolerance(a, b complex128, e float64) bool {
485	d := Abs(a - b)
486	if b != 0 {
487		e = e * Abs(b)
488		if e < 0 {
489			e = -e
490		}
491	}
492	return d < e
493}
494func cSoclose(a, b complex128, e float64) bool { return cTolerance(a, b, e) }
495func cVeryclose(a, b complex128) bool          { return cTolerance(a, b, 4e-16) }
496func cAlike(a, b complex128) bool {
497	switch {
498	case IsNaN(a) && IsNaN(b):
499		return true
500	case a == b:
501		return math.Signbit(real(a)) == math.Signbit(real(b)) && math.Signbit(imag(a)) == math.Signbit(imag(b))
502	}
503	return false
504}
505
506func TestAbs(t *testing.T) {
507	for i := 0; i < len(vc); i++ {
508		if f := Abs(vc[i]); !veryclose(abs[i], f) {
509			t.Errorf("Abs(%g) = %g, want %g", vc[i], f, abs[i])
510		}
511	}
512	for i := 0; i < len(vcAbsSC); i++ {
513		if f := Abs(vcAbsSC[i]); !alike(absSC[i], f) {
514			t.Errorf("Abs(%g) = %g, want %g", vcAbsSC[i], f, absSC[i])
515		}
516	}
517}
518func TestAcos(t *testing.T) {
519	for i := 0; i < len(vc); i++ {
520		if f := Acos(vc[i]); !cSoclose(acos[i], f, 1e-14) {
521			t.Errorf("Acos(%g) = %g, want %g", vc[i], f, acos[i])
522		}
523	}
524	for i := 0; i < len(vcAcosSC); i++ {
525		if f := Acos(vcAcosSC[i]); !cAlike(acosSC[i], f) {
526			t.Errorf("Acos(%g) = %g, want %g", vcAcosSC[i], f, acosSC[i])
527		}
528	}
529	for _, pt := range branchPoints {
530		if f0, f1 := Acos(pt[0]), Acos(pt[1]); !cVeryclose(f0, f1) {
531			t.Errorf("Acos(%g) not continuous, got %g want %g", pt[0], f0, f1)
532		}
533	}
534}
535func TestAcosh(t *testing.T) {
536	for i := 0; i < len(vc); i++ {
537		if f := Acosh(vc[i]); !cSoclose(acosh[i], f, 1e-14) {
538			t.Errorf("Acosh(%g) = %g, want %g", vc[i], f, acosh[i])
539		}
540	}
541	for i := 0; i < len(vcAcoshSC); i++ {
542		if f := Acosh(vcAcoshSC[i]); !cAlike(acoshSC[i], f) {
543			t.Errorf("Acosh(%g) = %g, want %g", vcAcoshSC[i], f, acoshSC[i])
544		}
545	}
546	for _, pt := range branchPoints {
547		if f0, f1 := Acosh(pt[0]), Acosh(pt[1]); !cVeryclose(f0, f1) {
548			t.Errorf("Acosh(%g) not continuous, got %g want %g", pt[0], f0, f1)
549		}
550	}
551}
552func TestAsin(t *testing.T) {
553	for i := 0; i < len(vc); i++ {
554		if f := Asin(vc[i]); !cSoclose(asin[i], f, 1e-14) {
555			t.Errorf("Asin(%g) = %g, want %g", vc[i], f, asin[i])
556		}
557	}
558	for i := 0; i < len(vcAsinSC); i++ {
559		if f := Asin(vcAsinSC[i]); !cAlike(asinSC[i], f) {
560			t.Errorf("Asin(%g) = %g, want %g", vcAsinSC[i], f, asinSC[i])
561		}
562	}
563	for _, pt := range branchPoints {
564		if f0, f1 := Asin(pt[0]), Asin(pt[1]); !cVeryclose(f0, f1) {
565			t.Errorf("Asin(%g) not continuous, got %g want %g", pt[0], f0, f1)
566		}
567	}
568}
569func TestAsinh(t *testing.T) {
570	for i := 0; i < len(vc); i++ {
571		if f := Asinh(vc[i]); !cSoclose(asinh[i], f, 4e-15) {
572			t.Errorf("Asinh(%g) = %g, want %g", vc[i], f, asinh[i])
573		}
574	}
575	for i := 0; i < len(vcAsinhSC); i++ {
576		if f := Asinh(vcAsinhSC[i]); !cAlike(asinhSC[i], f) {
577			t.Errorf("Asinh(%g) = %g, want %g", vcAsinhSC[i], f, asinhSC[i])
578		}
579	}
580	for _, pt := range branchPoints {
581		if f0, f1 := Asinh(pt[0]), Asinh(pt[1]); !cVeryclose(f0, f1) {
582			t.Errorf("Asinh(%g) not continuous, got %g want %g", pt[0], f0, f1)
583		}
584	}
585}
586func TestAtan(t *testing.T) {
587	for i := 0; i < len(vc); i++ {
588		if f := Atan(vc[i]); !cVeryclose(atan[i], f) {
589			t.Errorf("Atan(%g) = %g, want %g", vc[i], f, atan[i])
590		}
591	}
592	for i := 0; i < len(vcAtanSC); i++ {
593		if f := Atan(vcAtanSC[i]); !cAlike(atanSC[i], f) {
594			t.Errorf("Atan(%g) = %g, want %g", vcAtanSC[i], f, atanSC[i])
595		}
596	}
597	for _, pt := range branchPoints {
598		if f0, f1 := Atan(pt[0]), Atan(pt[1]); !cVeryclose(f0, f1) {
599			t.Errorf("Atan(%g) not continuous, got %g want %g", pt[0], f0, f1)
600		}
601	}
602}
603func TestAtanh(t *testing.T) {
604	for i := 0; i < len(vc); i++ {
605		if f := Atanh(vc[i]); !cVeryclose(atanh[i], f) {
606			t.Errorf("Atanh(%g) = %g, want %g", vc[i], f, atanh[i])
607		}
608	}
609	for i := 0; i < len(vcAtanhSC); i++ {
610		if f := Atanh(vcAtanhSC[i]); !cAlike(atanhSC[i], f) {
611			t.Errorf("Atanh(%g) = %g, want %g", vcAtanhSC[i], f, atanhSC[i])
612		}
613	}
614	for _, pt := range branchPoints {
615		if f0, f1 := Atanh(pt[0]), Atanh(pt[1]); !cVeryclose(f0, f1) {
616			t.Errorf("Atanh(%g) not continuous, got %g want %g", pt[0], f0, f1)
617		}
618	}
619}
620func TestConj(t *testing.T) {
621	for i := 0; i < len(vc); i++ {
622		if f := Conj(vc[i]); !cVeryclose(conj[i], f) {
623			t.Errorf("Conj(%g) = %g, want %g", vc[i], f, conj[i])
624		}
625	}
626	for i := 0; i < len(vcConjSC); i++ {
627		if f := Conj(vcConjSC[i]); !cAlike(conjSC[i], f) {
628			t.Errorf("Conj(%g) = %g, want %g", vcConjSC[i], f, conjSC[i])
629		}
630	}
631}
632func TestCos(t *testing.T) {
633	for i := 0; i < len(vc); i++ {
634		if f := Cos(vc[i]); !cSoclose(cos[i], f, 3e-15) {
635			t.Errorf("Cos(%g) = %g, want %g", vc[i], f, cos[i])
636		}
637	}
638	for i := 0; i < len(vcCosSC); i++ {
639		if f := Cos(vcCosSC[i]); !cAlike(cosSC[i], f) {
640			t.Errorf("Cos(%g) = %g, want %g", vcCosSC[i], f, cosSC[i])
641		}
642	}
643}
644func TestCosh(t *testing.T) {
645	for i := 0; i < len(vc); i++ {
646		if f := Cosh(vc[i]); !cSoclose(cosh[i], f, 2e-15) {
647			t.Errorf("Cosh(%g) = %g, want %g", vc[i], f, cosh[i])
648		}
649	}
650	for i := 0; i < len(vcCoshSC); i++ {
651		if f := Cosh(vcCoshSC[i]); !cAlike(coshSC[i], f) {
652			t.Errorf("Cosh(%g) = %g, want %g", vcCoshSC[i], f, coshSC[i])
653		}
654	}
655}
656func TestExp(t *testing.T) {
657	for i := 0; i < len(vc); i++ {
658		if f := Exp(vc[i]); !cSoclose(exp[i], f, 1e-15) {
659			t.Errorf("Exp(%g) = %g, want %g", vc[i], f, exp[i])
660		}
661	}
662	for i := 0; i < len(vcExpSC); i++ {
663		if f := Exp(vcExpSC[i]); !cAlike(expSC[i], f) {
664			t.Errorf("Exp(%g) = %g, want %g", vcExpSC[i], f, expSC[i])
665		}
666	}
667}
668func TestIsNaN(t *testing.T) {
669	for i := 0; i < len(vcIsNaNSC); i++ {
670		if f := IsNaN(vcIsNaNSC[i]); isNaNSC[i] != f {
671			t.Errorf("IsNaN(%v) = %v, want %v", vcIsNaNSC[i], f, isNaNSC[i])
672		}
673	}
674}
675func TestLog(t *testing.T) {
676	for i := 0; i < len(vc); i++ {
677		if f := Log(vc[i]); !cVeryclose(log[i], f) {
678			t.Errorf("Log(%g) = %g, want %g", vc[i], f, log[i])
679		}
680	}
681	for i := 0; i < len(vcLogSC); i++ {
682		if f := Log(vcLogSC[i]); !cAlike(logSC[i], f) {
683			t.Errorf("Log(%g) = %g, want %g", vcLogSC[i], f, logSC[i])
684		}
685	}
686	for _, pt := range branchPoints {
687		if f0, f1 := Log(pt[0]), Log(pt[1]); !cVeryclose(f0, f1) {
688			t.Errorf("Log(%g) not continuous, got %g want %g", pt[0], f0, f1)
689		}
690	}
691}
692func TestLog10(t *testing.T) {
693	for i := 0; i < len(vc); i++ {
694		if f := Log10(vc[i]); !cVeryclose(log10[i], f) {
695			t.Errorf("Log10(%g) = %g, want %g", vc[i], f, log10[i])
696		}
697	}
698	for i := 0; i < len(vcLog10SC); i++ {
699		if f := Log10(vcLog10SC[i]); !cAlike(log10SC[i], f) {
700			t.Errorf("Log10(%g) = %g, want %g", vcLog10SC[i], f, log10SC[i])
701		}
702	}
703}
704func TestPolar(t *testing.T) {
705	for i := 0; i < len(vc); i++ {
706		if r, theta := Polar(vc[i]); !veryclose(polar[i].r, r) && !veryclose(polar[i].theta, theta) {
707			t.Errorf("Polar(%g) = %g, %g want %g, %g", vc[i], r, theta, polar[i].r, polar[i].theta)
708		}
709	}
710	for i := 0; i < len(vcPolarSC); i++ {
711		if r, theta := Polar(vcPolarSC[i]); !alike(polarSC[i].r, r) && !alike(polarSC[i].theta, theta) {
712			t.Errorf("Polar(%g) = %g, %g, want %g, %g", vcPolarSC[i], r, theta, polarSC[i].r, polarSC[i].theta)
713		}
714	}
715}
716func TestPow(t *testing.T) {
717	// Special cases for Pow(0, c).
718	var zero = complex(0, 0)
719	zeroPowers := [][2]complex128{
720		{0, 1 + 0i},
721		{1.5, 0 + 0i},
722		{-1.5, complex(math.Inf(0), 0)},
723		{-1.5 + 1.5i, Inf()},
724	}
725	for _, zp := range zeroPowers {
726		if f := Pow(zero, zp[0]); f != zp[1] {
727			t.Errorf("Pow(%g, %g) = %g, want %g", zero, zp[0], f, zp[1])
728		}
729	}
730	var a = complex(3.0, 3.0)
731	for i := 0; i < len(vc); i++ {
732		if f := Pow(a, vc[i]); !cSoclose(pow[i], f, 4e-15) {
733			t.Errorf("Pow(%g, %g) = %g, want %g", a, vc[i], f, pow[i])
734		}
735	}
736	for i := 0; i < len(vcPowSC); i++ {
737		if f := Pow(vcPowSC[i][0], vcPowSC[i][0]); !cAlike(powSC[i], f) {
738			t.Errorf("Pow(%g, %g) = %g, want %g", vcPowSC[i][0], vcPowSC[i][0], f, powSC[i])
739		}
740	}
741	for _, pt := range branchPoints {
742		if f0, f1 := Pow(pt[0], 0.1), Pow(pt[1], 0.1); !cVeryclose(f0, f1) {
743			t.Errorf("Pow(%g, 0.1) not continuous, got %g want %g", pt[0], f0, f1)
744		}
745	}
746}
747func TestRect(t *testing.T) {
748	for i := 0; i < len(vc); i++ {
749		if f := Rect(polar[i].r, polar[i].theta); !cVeryclose(vc[i], f) {
750			t.Errorf("Rect(%g, %g) = %g want %g", polar[i].r, polar[i].theta, f, vc[i])
751		}
752	}
753	for i := 0; i < len(vcPolarSC); i++ {
754		if f := Rect(polarSC[i].r, polarSC[i].theta); !cAlike(vcPolarSC[i], f) {
755			t.Errorf("Rect(%g, %g) = %g, want %g", polarSC[i].r, polarSC[i].theta, f, vcPolarSC[i])
756		}
757	}
758}
759func TestSin(t *testing.T) {
760	for i := 0; i < len(vc); i++ {
761		if f := Sin(vc[i]); !cSoclose(sin[i], f, 2e-15) {
762			t.Errorf("Sin(%g) = %g, want %g", vc[i], f, sin[i])
763		}
764	}
765	for i := 0; i < len(vcSinSC); i++ {
766		if f := Sin(vcSinSC[i]); !cAlike(sinSC[i], f) {
767			t.Errorf("Sin(%g) = %g, want %g", vcSinSC[i], f, sinSC[i])
768		}
769	}
770}
771func TestSinh(t *testing.T) {
772	for i := 0; i < len(vc); i++ {
773		if f := Sinh(vc[i]); !cSoclose(sinh[i], f, 2e-15) {
774			t.Errorf("Sinh(%g) = %g, want %g", vc[i], f, sinh[i])
775		}
776	}
777	for i := 0; i < len(vcSinhSC); i++ {
778		if f := Sinh(vcSinhSC[i]); !cAlike(sinhSC[i], f) {
779			t.Errorf("Sinh(%g) = %g, want %g", vcSinhSC[i], f, sinhSC[i])
780		}
781	}
782}
783func TestSqrt(t *testing.T) {
784	for i := 0; i < len(vc); i++ {
785		if f := Sqrt(vc[i]); !cVeryclose(sqrt[i], f) {
786			t.Errorf("Sqrt(%g) = %g, want %g", vc[i], f, sqrt[i])
787		}
788	}
789	for i := 0; i < len(vcSqrtSC); i++ {
790		if f := Sqrt(vcSqrtSC[i]); !cAlike(sqrtSC[i], f) {
791			t.Errorf("Sqrt(%g) = %g, want %g", vcSqrtSC[i], f, sqrtSC[i])
792		}
793	}
794	for _, pt := range branchPoints {
795		if f0, f1 := Sqrt(pt[0]), Sqrt(pt[1]); !cVeryclose(f0, f1) {
796			t.Errorf("Sqrt(%g) not continuous, got %g want %g", pt[0], f0, f1)
797		}
798	}
799}
800func TestTan(t *testing.T) {
801	for i := 0; i < len(vc); i++ {
802		if f := Tan(vc[i]); !cSoclose(tan[i], f, 3e-15) {
803			t.Errorf("Tan(%g) = %g, want %g", vc[i], f, tan[i])
804		}
805	}
806	for i := 0; i < len(vcTanSC); i++ {
807		if f := Tan(vcTanSC[i]); !cAlike(tanSC[i], f) {
808			t.Errorf("Tan(%g) = %g, want %g", vcTanSC[i], f, tanSC[i])
809		}
810	}
811}
812func TestTanh(t *testing.T) {
813	for i := 0; i < len(vc); i++ {
814		if f := Tanh(vc[i]); !cSoclose(tanh[i], f, 2e-15) {
815			t.Errorf("Tanh(%g) = %g, want %g", vc[i], f, tanh[i])
816		}
817	}
818	for i := 0; i < len(vcTanhSC); i++ {
819		if f := Tanh(vcTanhSC[i]); !cAlike(tanhSC[i], f) {
820			t.Errorf("Tanh(%g) = %g, want %g", vcTanhSC[i], f, tanhSC[i])
821		}
822	}
823}
824
825// See issue 17577
826func TestInfiniteLoopIntanSeries(t *testing.T) {
827	want := Inf()
828	if got := Cot(0); got != want {
829		t.Errorf("Cot(0): got %g, want %g", got, want)
830	}
831}
832
833func BenchmarkAbs(b *testing.B) {
834	for i := 0; i < b.N; i++ {
835		Abs(complex(2.5, 3.5))
836	}
837}
838func BenchmarkAcos(b *testing.B) {
839	for i := 0; i < b.N; i++ {
840		Acos(complex(2.5, 3.5))
841	}
842}
843func BenchmarkAcosh(b *testing.B) {
844	for i := 0; i < b.N; i++ {
845		Acosh(complex(2.5, 3.5))
846	}
847}
848func BenchmarkAsin(b *testing.B) {
849	for i := 0; i < b.N; i++ {
850		Asin(complex(2.5, 3.5))
851	}
852}
853func BenchmarkAsinh(b *testing.B) {
854	for i := 0; i < b.N; i++ {
855		Asinh(complex(2.5, 3.5))
856	}
857}
858func BenchmarkAtan(b *testing.B) {
859	for i := 0; i < b.N; i++ {
860		Atan(complex(2.5, 3.5))
861	}
862}
863func BenchmarkAtanh(b *testing.B) {
864	for i := 0; i < b.N; i++ {
865		Atanh(complex(2.5, 3.5))
866	}
867}
868func BenchmarkConj(b *testing.B) {
869	for i := 0; i < b.N; i++ {
870		Conj(complex(2.5, 3.5))
871	}
872}
873func BenchmarkCos(b *testing.B) {
874	for i := 0; i < b.N; i++ {
875		Cos(complex(2.5, 3.5))
876	}
877}
878func BenchmarkCosh(b *testing.B) {
879	for i := 0; i < b.N; i++ {
880		Cosh(complex(2.5, 3.5))
881	}
882}
883func BenchmarkExp(b *testing.B) {
884	for i := 0; i < b.N; i++ {
885		Exp(complex(2.5, 3.5))
886	}
887}
888func BenchmarkLog(b *testing.B) {
889	for i := 0; i < b.N; i++ {
890		Log(complex(2.5, 3.5))
891	}
892}
893func BenchmarkLog10(b *testing.B) {
894	for i := 0; i < b.N; i++ {
895		Log10(complex(2.5, 3.5))
896	}
897}
898func BenchmarkPhase(b *testing.B) {
899	for i := 0; i < b.N; i++ {
900		Phase(complex(2.5, 3.5))
901	}
902}
903func BenchmarkPolar(b *testing.B) {
904	for i := 0; i < b.N; i++ {
905		Polar(complex(2.5, 3.5))
906	}
907}
908func BenchmarkPow(b *testing.B) {
909	for i := 0; i < b.N; i++ {
910		Pow(complex(2.5, 3.5), complex(2.5, 3.5))
911	}
912}
913func BenchmarkRect(b *testing.B) {
914	for i := 0; i < b.N; i++ {
915		Rect(2.5, 1.5)
916	}
917}
918func BenchmarkSin(b *testing.B) {
919	for i := 0; i < b.N; i++ {
920		Sin(complex(2.5, 3.5))
921	}
922}
923func BenchmarkSinh(b *testing.B) {
924	for i := 0; i < b.N; i++ {
925		Sinh(complex(2.5, 3.5))
926	}
927}
928func BenchmarkSqrt(b *testing.B) {
929	for i := 0; i < b.N; i++ {
930		Sqrt(complex(2.5, 3.5))
931	}
932}
933func BenchmarkTan(b *testing.B) {
934	for i := 0; i < b.N; i++ {
935		Tan(complex(2.5, 3.5))
936	}
937}
938func BenchmarkTanh(b *testing.B) {
939	for i := 0; i < b.N; i++ {
940		Tanh(complex(2.5, 3.5))
941	}
942}
943