From: Damian McGuckin <damianm@esi.com.au>
To: musl@lists.openwall.com
Subject: Re: Possible Mistype in exp.c
Date: Sun, 3 Feb 2019 14:07:58 +1100 (AEDT) [thread overview]
Message-ID: <alpine.LRH.2.02.1902031354001.25247@key0.esi.com.au> (raw)
In-Reply-To: <CANv4PNkKXLgmBFFrgZNLkJqoP49x4FGA_+8cK+kxLT0SHG1Y_w@mail.gmail.com>
Just for reference, I have summarized the errors from a refactored version
of exp(x) from MUSL 1.1.21, the SUN fdlibm variant. Your table driven code
will run faster than my rework and have smaller errors than this rewrite of
exp.c. But I thought I would just put this error summary out there.
I took the original, made the polynomial calculation more super-scalar
friendly, improved the comparisons at the start to reduce their average
impact which also means I could trash using GET_HIGH_WORD, and finally
discarded the scalbn at the end of exp(x), and computed the final result
of exp(x) as
return h * f * (one + y)
where y is the variable in the existing MUSL exp(x). After your wise
suggestion, I have changed it to
return h * (f + f * y)
FMA or non-FMA seems to make little difference.
The 'f' is a constant of the form 2^j, either 2^(+(p+2)) or 2^(-(p+2))
where 'p' is the precision, depending solely on the sign of 'k' from
the MUSL routine so either 0x1.0p+55 or 0x1.0p-55. No branching is
used in its computation. That 'h' is a normal number of the form 2^i
where i is equal to k-j, i.e. k as per MUSL and 'f' from above, with
the exponent j laying within the range [-1020,+969].
I compare against the results of GLIBC's expl(x). I hope that is OK.
exp(x) for x in [-745.0..600.0] by (1.25e-06) 1073741824 cases
*epsilon frequency %of-total seen within
[0.0,0.1) 307561520 28.64390% -745 .. +600
[0.1,0.2) 304143157 28.32554% -744 .. +600
[0.2,0.3) 231766165 21.58491% -744 .. +600
[0.3,0.4) 146794197 13.67127% -744 .. +600
[0.4,0.5) 80455276 7.49298% -744 .. +600
[0.5,0.6) 2932759 0.27313% -723 .. +600
[0.6,0.7) 80629 0.00751% -710 .. +600
[0.7,0.8) 8121 0.00076% -709 .. -708
0.8+above 0 0.00000% +N/A .. -N/A
WORST ERROR < 0.8*ULP
There is no problem in the error with exp(x) when x > +600 so I
stopped including it in my tests.
I never compare exp(x) for x < -745. In fact, exp(-745.00) returns
0x1.0p-1024 whereas expl(x) returns 0.57125014747105418 times that.
As 0.57123 will round up to 1.0, I treat them as matching anyway.
Note that my revised exp(x) underflows destructively to zero at a
value of x = -745.133219101941165264, i.e. calling the refactored
version exp', I see
exp'(-745.133219101941165263) = 4.94065646e-324 = 0x1.0p-1074;
exp'(-745.133219101941165264) = 0.0 (oops, too tiny)
while
expl(-745.133219101941165263) = 0.50000000000002121 * 0x1.0p-1074
expl(-745.133219101941165264) = 0.50000000000002121 * 0x1.0p-1074
This is better than in the original version, but still not quite at the
theoretical limit which is -745.133219101941207623 = ln(2.0) * 1075.
Even though I see correct rounding at the lower limit, I do not explicitly
try and perform correct rounding as the old one did not either.
Also, I found that the computation times varies little between the early
model Xeon E5-1660 @ 3.3Ghz and a Xeon E5-2650-v4 @ 2.1Ghz. Interesting.
Regards - Damian
Pacific Engineering Systems International, 277-279 Broadway, Glebe NSW 2037
Ph:+61-2-8571-0847 .. Fx:+61-2-9692-9623 | unsolicited email not wanted here
Views & opinions here are mine and not those of any past or present employer
next prev parent reply other threads:[~2019-02-03 3:07 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-01-28 6:59 Damian McGuckin
2019-01-29 11:01 ` Szabolcs Nagy
2019-01-29 11:26 ` Damian McGuckin
2019-01-29 11:43 ` Szabolcs Nagy
2019-01-30 1:18 ` Damian McGuckin
2019-01-30 9:37 ` Szabolcs Nagy
2019-01-30 11:14 ` Damian McGuckin
2019-01-30 12:19 ` Szabolcs Nagy
2019-01-30 12:44 ` Alexander Monakov
2019-01-30 14:10 ` Szabolcs Nagy
2019-02-01 23:26 ` Morten Welinder
2019-02-02 3:39 ` Szabolcs Nagy
2019-02-03 2:05 ` Morten Welinder
2019-02-03 3:07 ` Damian McGuckin [this message]
2019-04-03 1:13 ` Floating Point Accuracy Damian McGuckin
2019-01-30 12:56 ` Possible Mistype in exp.c Damian McGuckin
2019-01-31 0:04 ` Szabolcs Nagy
2019-01-31 0:39 ` Damian McGuckin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=alpine.LRH.2.02.1902031354001.25247@key0.esi.com.au \
--to=damianm@esi.com.au \
--cc=musl@lists.openwall.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/musl/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).