From owner-freebsd-numerics@FreeBSD.ORG Sun Sep 16 15:13:46 2012 Return-Path: Delivered-To: freebsd-numerics@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id DECFE106564A for ; Sun, 16 Sep 2012 15:13:46 +0000 (UTC) (envelope-from stephen@missouri.edu) Received: from wilberforce.math.missouri.edu (wilberforce.math.missouri.edu [128.206.184.213]) by mx1.freebsd.org (Postfix) with ESMTP id 984BE8FC0C for ; Sun, 16 Sep 2012 15:13:46 +0000 (UTC) Received: from [127.0.0.1] (wilberforce.math.missouri.edu [128.206.184.213]) by wilberforce.math.missouri.edu (8.14.5/8.14.5) with ESMTP id q8GFDida042643; Sun, 16 Sep 2012 10:13:45 -0500 (CDT) (envelope-from stephen@missouri.edu) Message-ID: <5055ECA8.2080008@missouri.edu> Date: Sun, 16 Sep 2012 10:13:44 -0500 From: Stephen Montgomery-Smith User-Agent: Mozilla/5.0 (X11; Linux i686; rv:15.0) Gecko/20120827 Thunderbird/15.0 MIME-Version: 1.0 To: Bruce Evans References: <5017111E.6060003@missouri.edu> <20120814072946.S5260@besplex.bde.org> <50297CA5.5010900@missouri.edu> <50297E43.7090309@missouri.edu> <20120814201105.T934@besplex.bde.org> <502A780B.2010106@missouri.edu> <20120815223631.N1751@besplex.bde.org> <502C0CF8.8040003@missouri.edu> <20120906221028.O1542@besplex.bde.org> <5048D00B.8010401@missouri.edu> <504D3CCD.2050006@missouri.edu> <504FF726.9060001@missouri.edu> <20120912191556.F1078@besplex.bde.org> <20120912225847.J1771@besplex.bde.org> <50511B40.3070009@missouri.edu> <20120913204808.T1964@besplex.bde.org> <5051F59C.6000603@missouri.edu> <20120914014208.I2862@besplex.bde.org> <50526050.2070303@missouri.edu> <20120914212403.H1983@besplex.bde.org> <50538E28.6050400@missouri.edu> <20120915231032.C2669@besplex.bde.org> <50548E15.3010405@missouri.edu> <5054C027.2040008@missouri.edu> <5054C200.7090307@missouri.edu> <20120916041132.D6344@besplex.bde.org> <50553424.2080902@missouri.edu> <20120916134730.Y957@besplex.bde.org> In-Reply-To: <20120916134730.Y957@besplex.bde.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Cc: freebsd-numerics@FreeBSD.org Subject: Re: Complex arg-trig functions X-BeenThere: freebsd-numerics@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Discussions of high quality implementation of libm functions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 16 Sep 2012 15:13:47 -0000 On 09/16/2012 12:14 AM, Bruce Evans wrote: > On Sat, 15 Sep 2012, Stephen Montgomery-Smith wrote: > >> One more thing I would like an opinion on. >> >> In my code I check for |z| being small, and then use the approximations: >> casinh(z) = z >> cacos(z) = Pi - z > > Actually Pi/2 - z. > >> catanh(z) = z >> >> However these approximations are not used in the papers by Hull et al, >> and the code works just fine if I don't include these in the code. > > Probably a bug in the papers. It is not a bug in the papers. The algorithms they provide really do work when |z| is small. In fact, you have to deal separately with the cases |x| is small and |y| is small (z=x+I*y), so dealing with both of them being small is not any additional problem. And now I see your other post, that using PI/2 is problematic especially when rounding is not to nearest. (Then the problem of rounding PI/2 properly is relegated to the acos function, and so it is someone else's problem.) So all things being said and done, I am going to remove the use of these approximations. (And also, my comments describing them had a silly mistake in them as well.)