about summary refs log tree commit diff
path: root/REORG.TODO/sysdeps/ieee754/dbl-64/s_sin.c
diff options
context:
space:
mode:
authorZack Weinberg <zackw@panix.com>2017-06-08 15:39:03 -0400
committerZack Weinberg <zackw@panix.com>2017-06-08 15:39:03 -0400
commit5046dbb4a7eba5eccfd258f92f4735c9ffc8d069 (patch)
tree4470480d904b65cf14ca524f96f79eca818c3eaf /REORG.TODO/sysdeps/ieee754/dbl-64/s_sin.c
parent199fc19d3aaaf57944ef036e15904febe877fc93 (diff)
downloadglibc-5046dbb4a7eba5eccfd258f92f4735c9ffc8d069.tar.gz
glibc-5046dbb4a7eba5eccfd258f92f4735c9ffc8d069.tar.xz
glibc-5046dbb4a7eba5eccfd258f92f4735c9ffc8d069.zip
Prepare for radical source tree reorganization. zack/build-layout-experiment
All top-level files and directories are moved into a temporary storage
directory, REORG.TODO, except for files that will certainly still
exist in their current form at top level when we're done (COPYING,
COPYING.LIB, LICENSES, NEWS, README), all old ChangeLog files (which
are moved to the new directory OldChangeLogs, instead), and the
generated file INSTALL (which is just deleted; in the new order, there
will be no generated files checked into version control).
Diffstat (limited to 'REORG.TODO/sysdeps/ieee754/dbl-64/s_sin.c')
-rw-r--r--REORG.TODO/sysdeps/ieee754/dbl-64/s_sin.c927
1 files changed, 927 insertions, 0 deletions
diff --git a/REORG.TODO/sysdeps/ieee754/dbl-64/s_sin.c b/REORG.TODO/sysdeps/ieee754/dbl-64/s_sin.c
new file mode 100644
index 0000000000..c258d39e49
--- /dev/null
+++ b/REORG.TODO/sysdeps/ieee754/dbl-64/s_sin.c
@@ -0,0 +1,927 @@
+/*
+ * IBM Accurate Mathematical Library
+ * written by International Business Machines Corp.
+ * Copyright (C) 2001-2017 Free Software Foundation, Inc.
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation; either version 2.1 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU  Lesser General Public License
+ * along with this program; if not, see <http://www.gnu.org/licenses/>.
+ */
+/****************************************************************************/
+/*                                                                          */
+/* MODULE_NAME:usncs.c                                                      */
+/*                                                                          */
+/* FUNCTIONS: usin                                                          */
+/*            ucos                                                          */
+/*            slow                                                          */
+/*            slow1                                                         */
+/*            slow2                                                         */
+/*            sloww                                                         */
+/*            sloww1                                                        */
+/*            sloww2                                                        */
+/*            bsloww                                                        */
+/*            bsloww1                                                       */
+/*            bsloww2                                                       */
+/*            cslow2                                                        */
+/* FILES NEEDED: dla.h endian.h mpa.h mydefs.h  usncs.h                     */
+/*               branred.c sincos32.c dosincos.c mpa.c                      */
+/*               sincos.tbl                                                 */
+/*                                                                          */
+/* An ultimate sin and  routine. Given an IEEE double machine number x       */
+/* it computes the correctly rounded (to nearest) value of sin(x) or cos(x) */
+/* Assumption: Machine arithmetic operations are performed in               */
+/* round to nearest mode of IEEE 754 standard.                              */
+/*                                                                          */
+/****************************************************************************/
+
+
+#include <errno.h>
+#include <float.h>
+#include "endian.h"
+#include "mydefs.h"
+#include "usncs.h"
+#include "MathLib.h"
+#include <math.h>
+#include <math_private.h>
+#include <fenv.h>
+
+/* Helper macros to compute sin of the input values.  */
+#define POLYNOMIAL2(xx) ((((s5 * (xx) + s4) * (xx) + s3) * (xx) + s2) * (xx))
+
+#define POLYNOMIAL(xx) (POLYNOMIAL2 (xx) + s1)
+
+/* The computed polynomial is a variation of the Taylor series expansion for
+   sin(a):
+
+   a - a^3/3! + a^5/5! - a^7/7! + a^9/9! + (1 - a^2) * da / 2
+
+   The constants s1, s2, s3, etc. are pre-computed values of 1/3!, 1/5! and so
+   on.  The result is returned to LHS and correction in COR.  */
+#define TAYLOR_SIN(xx, a, da, cor) \
+({									      \
+  double t = ((POLYNOMIAL (xx)  * (a) - 0.5 * (da))  * (xx) + (da));	      \
+  double res = (a) + t;							      \
+  (cor) = ((a) - res) + t;						      \
+  res;									      \
+})
+
+/* This is again a variation of the Taylor series expansion with the term
+   x^3/3! expanded into the following for better accuracy:
+
+   bb * x ^ 3 + 3 * aa * x * x1 * x2 + aa * x1 ^ 3 + aa * x2 ^ 3
+
+   The correction term is dx and bb + aa = -1/3!
+   */
+#define TAYLOR_SLOW(x0, dx, cor) \
+({									      \
+  static const double th2_36 = 206158430208.0;	/*    1.5*2**37   */	      \
+  double xx = (x0) * (x0);						      \
+  double x1 = ((x0) + th2_36) - th2_36;					      \
+  double y = aa * x1 * x1 * x1;						      \
+  double r = (x0) + y;							      \
+  double x2 = ((x0) - x1) + (dx);					      \
+  double t = (((POLYNOMIAL2 (xx) + bb) * xx + 3.0 * aa * x1 * x2)	      \
+	      * (x0)  + aa * x2 * x2 * x2 + (dx));			      \
+  t = (((x0) - r) + y) + t;						      \
+  double res = r + t;							      \
+  (cor) = (r - res) + t;						      \
+  res;									      \
+})
+
+#define SINCOS_TABLE_LOOKUP(u, sn, ssn, cs, ccs) \
+({									      \
+  int4 k = u.i[LOW_HALF] << 2;						      \
+  sn = __sincostab.x[k];						      \
+  ssn = __sincostab.x[k + 1];						      \
+  cs = __sincostab.x[k + 2];						      \
+  ccs = __sincostab.x[k + 3];						      \
+})
+
+#ifndef SECTION
+# define SECTION
+#endif
+
+extern const union
+{
+  int4 i[880];
+  double x[440];
+} __sincostab attribute_hidden;
+
+static const double
+  sn3 = -1.66666666666664880952546298448555E-01,
+  sn5 = 8.33333214285722277379541354343671E-03,
+  cs2 = 4.99999999999999999999950396842453E-01,
+  cs4 = -4.16666666666664434524222570944589E-02,
+  cs6 = 1.38888874007937613028114285595617E-03;
+
+static const double t22 = 0x1.8p22;
+
+void __dubsin (double x, double dx, double w[]);
+void __docos (double x, double dx, double w[]);
+double __mpsin (double x, double dx, bool reduce_range);
+double __mpcos (double x, double dx, bool reduce_range);
+static double slow (double x);
+static double slow1 (double x);
+static double slow2 (double x);
+static double sloww (double x, double dx, double orig, bool shift_quadrant);
+static double sloww1 (double x, double dx, double orig, bool shift_quadrant);
+static double sloww2 (double x, double dx, double orig, int n);
+static double bsloww (double x, double dx, double orig, int n);
+static double bsloww1 (double x, double dx, double orig, int n);
+static double bsloww2 (double x, double dx, double orig, int n);
+int __branred (double x, double *a, double *aa);
+static double cslow2 (double x);
+
+/* Given a number partitioned into X and DX, this function computes the cosine
+   of the number by combining the sin and cos of X (as computed by a variation
+   of the Taylor series) with the values looked up from the sin/cos table to
+   get the result in RES and a correction value in COR.  */
+static inline double
+__always_inline
+do_cos (double x, double dx, double *corp)
+{
+  mynumber u;
+
+  if (x < 0)
+    dx = -dx;
+
+  u.x = big + fabs (x);
+  x = fabs (x) - (u.x - big) + dx;
+
+  double xx, s, sn, ssn, c, cs, ccs, res, cor;
+  xx = x * x;
+  s = x + x * xx * (sn3 + xx * sn5);
+  c = xx * (cs2 + xx * (cs4 + xx * cs6));
+  SINCOS_TABLE_LOOKUP (u, sn, ssn, cs, ccs);
+  cor = (ccs - s * ssn - cs * c) - sn * s;
+  res = cs + cor;
+  cor = (cs - res) + cor;
+  *corp = cor;
+  return res;
+}
+
+/* A more precise variant of DO_COS.  EPS is the adjustment to the correction
+   COR.  */
+static inline double
+__always_inline
+do_cos_slow (double x, double dx, double eps, double *corp)
+{
+  mynumber u;
+
+  if (x <= 0)
+    dx = -dx;
+
+  u.x = big + fabs (x);
+  x = fabs (x) - (u.x - big);
+
+  double xx, y, x1, x2, e1, e2, res, cor;
+  double s, sn, ssn, c, cs, ccs;
+  xx = x * x;
+  s = x * xx * (sn3 + xx * sn5);
+  c = x * dx + xx * (cs2 + xx * (cs4 + xx * cs6));
+  SINCOS_TABLE_LOOKUP (u, sn, ssn, cs, ccs);
+  x1 = (x + t22) - t22;
+  x2 = (x - x1) + dx;
+  e1 = (sn + t22) - t22;
+  e2 = (sn - e1) + ssn;
+  cor = (ccs - cs * c - e1 * x2 - e2 * x) - sn * s;
+  y = cs - e1 * x1;
+  cor = cor + ((cs - y) - e1 * x1);
+  res = y + cor;
+  cor = (y - res) + cor;
+  cor = 1.0005 * cor + __copysign (eps, cor);
+  *corp = cor;
+  return res;
+}
+
+/* Given a number partitioned into X and DX, this function computes the sine of
+   the number by combining the sin and cos of X (as computed by a variation of
+   the Taylor series) with the values looked up from the sin/cos table to get
+   the result in RES and a correction value in COR.  */
+static inline double
+__always_inline
+do_sin (double x, double dx, double *corp)
+{
+  mynumber u;
+
+  if (x <= 0)
+    dx = -dx;
+  u.x = big + fabs (x);
+  x = fabs (x) - (u.x - big);
+
+  double xx, s, sn, ssn, c, cs, ccs, cor, res;
+  xx = x * x;
+  s = x + (dx + x * xx * (sn3 + xx * sn5));
+  c = x * dx + xx * (cs2 + xx * (cs4 + xx * cs6));
+  SINCOS_TABLE_LOOKUP (u, sn, ssn, cs, ccs);
+  cor = (ssn + s * ccs - sn * c) + cs * s;
+  res = sn + cor;
+  cor = (sn - res) + cor;
+  *corp = cor;
+  return res;
+}
+
+/* A more precise variant of DO_SIN.  EPS is the adjustment to the correction
+   COR.  */
+static inline double
+__always_inline
+do_sin_slow (double x, double dx, double eps, double *corp)
+{
+  mynumber u;
+
+  if (x <= 0)
+    dx = -dx;
+  u.x = big + fabs (x);
+  x = fabs (x) - (u.x - big);
+
+  double xx, y, x1, x2, c1, c2, res, cor;
+  double s, sn, ssn, c, cs, ccs;
+  xx = x * x;
+  s = x * xx * (sn3 + xx * sn5);
+  c = xx * (cs2 + xx * (cs4 + xx * cs6));
+  SINCOS_TABLE_LOOKUP (u, sn, ssn, cs, ccs);
+  x1 = (x + t22) - t22;
+  x2 = (x - x1) + dx;
+  c1 = (cs + t22) - t22;
+  c2 = (cs - c1) + ccs;
+  cor = (ssn + s * ccs + cs * s + c2 * x + c1 * x2 - sn * x * dx) - sn * c;
+  y = sn + c1 * x1;
+  cor = cor + ((sn - y) + c1 * x1);
+  res = y + cor;
+  cor = (y - res) + cor;
+  cor = 1.0005 * cor + __copysign (eps, cor);
+  *corp = cor;
+  return res;
+}
+
+/* Reduce range of X and compute sin of a + da. When SHIFT_QUADRANT is true,
+   the routine returns the cosine of a + da by rotating the quadrant once and
+   computing the sine of the result.  */
+static inline double
+__always_inline
+reduce_and_compute (double x, bool shift_quadrant)
+{
+  double retval = 0, a, da;
+  unsigned int n = __branred (x, &a, &da);
+  int4 k = (n + shift_quadrant) % 4;
+  switch (k)
+    {
+    case 2:
+      a = -a;
+      da = -da;
+      /* Fall through.  */
+    case 0:
+      if (a * a < 0.01588)
+	retval = bsloww (a, da, x, n);
+      else
+	retval = bsloww1 (a, da, x, n);
+      break;
+
+    case 1:
+    case 3:
+      retval = bsloww2 (a, da, x, n);
+      break;
+    }
+  return retval;
+}
+
+static inline int4
+__always_inline
+reduce_sincos_1 (double x, double *a, double *da)
+{
+  mynumber v;
+
+  double t = (x * hpinv + toint);
+  double xn = t - toint;
+  v.x = t;
+  double y = (x - xn * mp1) - xn * mp2;
+  int4 n = v.i[LOW_HALF] & 3;
+  double db = xn * mp3;
+  double b = y - db;
+  db = (y - b) - db;
+
+  *a = b;
+  *da = db;
+
+  return n;
+}
+
+/* Compute sin (A + DA).  cos can be computed by passing SHIFT_QUADRANT as
+   true, which results in shifting the quadrant N clockwise.  */
+static double
+__always_inline
+do_sincos_1 (double a, double da, double x, int4 n, bool shift_quadrant)
+{
+  double xx, retval, res, cor;
+  double eps = fabs (x) * 1.2e-30;
+
+  int k1 = (n + shift_quadrant) & 3;
+  switch (k1)
+    {			/* quarter of unit circle */
+    case 2:
+      a = -a;
+      da = -da;
+      /* Fall through.  */
+    case 0:
+      xx = a * a;
+      if (xx < 0.01588)
+	{
+	  /* Taylor series.  */
+	  res = TAYLOR_SIN (xx, a, da, cor);
+	  cor = 1.02 * cor + __copysign (eps, cor);
+	  retval = (res == res + cor) ? res : sloww (a, da, x, shift_quadrant);
+	}
+      else
+	{
+	  res = do_sin (a, da, &cor);
+	  cor = 1.035 * cor + __copysign (eps, cor);
+	  retval = ((res == res + cor) ? __copysign (res, a)
+		    : sloww1 (a, da, x, shift_quadrant));
+	}
+      break;
+
+    case 1:
+    case 3:
+      res = do_cos (a, da, &cor);
+      cor = 1.025 * cor + __copysign (eps, cor);
+      retval = ((res == res + cor) ? ((n & 2) ? -res : res)
+		: sloww2 (a, da, x, n));
+      break;
+    }
+
+  return retval;
+}
+
+static inline int4
+__always_inline
+reduce_sincos_2 (double x, double *a, double *da)
+{
+  mynumber v;
+
+  double t = (x * hpinv + toint);
+  double xn = t - toint;
+  v.x = t;
+  double xn1 = (xn + 8.0e22) - 8.0e22;
+  double xn2 = xn - xn1;
+  double y = ((((x - xn1 * mp1) - xn1 * mp2) - xn2 * mp1) - xn2 * mp2);
+  int4 n = v.i[LOW_HALF] & 3;
+  double db = xn1 * pp3;
+  t = y - db;
+  db = (y - t) - db;
+  db = (db - xn2 * pp3) - xn * pp4;
+  double b = t + db;
+  db = (t - b) + db;
+
+  *a = b;
+  *da = db;
+
+  return n;
+}
+
+/* Compute sin (A + DA).  cos can be computed by passing SHIFT_QUADRANT as
+   true, which results in shifting the quadrant N clockwise.  */
+static double
+__always_inline
+do_sincos_2 (double a, double da, double x, int4 n, bool shift_quadrant)
+{
+  double res, retval, cor, xx;
+
+  double eps = 1.0e-24;
+
+  int4 k = (n + shift_quadrant) & 3;
+
+  switch (k)
+    {
+    case 2:
+      a = -a;
+      da = -da;
+      /* Fall through.  */
+    case 0:
+      xx = a * a;
+      if (xx < 0.01588)
+	{
+	  /* Taylor series.  */
+	  res = TAYLOR_SIN (xx, a, da, cor);
+	  cor = 1.02 * cor + __copysign (eps, cor);
+	  retval = (res == res + cor) ? res : bsloww (a, da, x, n);
+	}
+      else
+	{
+	  res = do_sin (a, da, &cor);
+	  cor = 1.035 * cor + __copysign (eps, cor);
+	  retval = ((res == res + cor) ? __copysign (res, a)
+		    : bsloww1 (a, da, x, n));
+	}
+      break;
+
+    case 1:
+    case 3:
+      res = do_cos (a, da, &cor);
+      cor = 1.025 * cor + __copysign (eps, cor);
+      retval = ((res == res + cor) ? ((n & 2) ? -res : res)
+		: bsloww2 (a, da, x, n));
+      break;
+    }
+
+  return retval;
+}
+
+/*******************************************************************/
+/* An ultimate sin routine. Given an IEEE double machine number x   */
+/* it computes the correctly rounded (to nearest) value of sin(x)  */
+/*******************************************************************/
+#ifdef IN_SINCOS
+static double
+#else
+double
+SECTION
+#endif
+__sin (double x)
+{
+  double xx, res, t, cor;
+  mynumber u;
+  int4 k, m;
+  double retval = 0;
+
+#ifndef IN_SINCOS
+  SET_RESTORE_ROUND_53BIT (FE_TONEAREST);
+#endif
+
+  u.x = x;
+  m = u.i[HIGH_HALF];
+  k = 0x7fffffff & m;		/* no sign           */
+  if (k < 0x3e500000)		/* if x->0 =>sin(x)=x */
+    {
+      math_check_force_underflow (x);
+      retval = x;
+    }
+ /*---------------------------- 2^-26 < |x|< 0.25 ----------------------*/
+  else if (k < 0x3fd00000)
+    {
+      xx = x * x;
+      /* Taylor series.  */
+      t = POLYNOMIAL (xx) * (xx * x);
+      res = x + t;
+      cor = (x - res) + t;
+      retval = (res == res + 1.07 * cor) ? res : slow (x);
+    }				/*  else  if (k < 0x3fd00000)    */
+/*---------------------------- 0.25<|x|< 0.855469---------------------- */
+  else if (k < 0x3feb6000)
+    {
+      res = do_sin (x, 0, &cor);
+      retval = (res == res + 1.096 * cor) ? res : slow1 (x);
+      retval = __copysign (retval, x);
+    }				/*   else  if (k < 0x3feb6000)    */
+
+/*----------------------- 0.855469  <|x|<2.426265  ----------------------*/
+  else if (k < 0x400368fd)
+    {
+
+      t = hp0 - fabs (x);
+      res = do_cos (t, hp1, &cor);
+      retval = (res == res + 1.020 * cor) ? res : slow2 (x);
+      retval = __copysign (retval, x);
+    }				/*   else  if (k < 0x400368fd)    */
+
+#ifndef IN_SINCOS
+/*-------------------------- 2.426265<|x|< 105414350 ----------------------*/
+  else if (k < 0x419921FB)
+    {
+      double a, da;
+      int4 n = reduce_sincos_1 (x, &a, &da);
+      retval = do_sincos_1 (a, da, x, n, false);
+    }				/*   else  if (k <  0x419921FB )    */
+
+/*---------------------105414350 <|x|< 281474976710656 --------------------*/
+  else if (k < 0x42F00000)
+    {
+      double a, da;
+
+      int4 n = reduce_sincos_2 (x, &a, &da);
+      retval = do_sincos_2 (a, da, x, n, false);
+    }				/*   else  if (k <  0x42F00000 )   */
+
+/* -----------------281474976710656 <|x| <2^1024----------------------------*/
+  else if (k < 0x7ff00000)
+    retval = reduce_and_compute (x, false);
+
+/*--------------------- |x| > 2^1024 ----------------------------------*/
+  else
+    {
+      if (k == 0x7ff00000 && u.i[LOW_HALF] == 0)
+	__set_errno (EDOM);
+      retval = x / x;
+    }
+#endif
+
+  return retval;
+}
+
+
+/*******************************************************************/
+/* An ultimate cos routine. Given an IEEE double machine number x   */
+/* it computes the correctly rounded (to nearest) value of cos(x)  */
+/*******************************************************************/
+
+#ifdef IN_SINCOS
+static double
+#else
+double
+SECTION
+#endif
+__cos (double x)
+{
+  double y, xx, res, cor, a, da;
+  mynumber u;
+  int4 k, m;
+
+  double retval = 0;
+
+#ifndef IN_SINCOS
+  SET_RESTORE_ROUND_53BIT (FE_TONEAREST);
+#endif
+
+  u.x = x;
+  m = u.i[HIGH_HALF];
+  k = 0x7fffffff & m;
+
+  /* |x|<2^-27 => cos(x)=1 */
+  if (k < 0x3e400000)
+    retval = 1.0;
+
+  else if (k < 0x3feb6000)
+    {				/* 2^-27 < |x| < 0.855469 */
+      res = do_cos (x, 0, &cor);
+      retval = (res == res + 1.020 * cor) ? res : cslow2 (x);
+    }				/*   else  if (k < 0x3feb6000)    */
+
+  else if (k < 0x400368fd)
+    { /* 0.855469  <|x|<2.426265  */ ;
+      y = hp0 - fabs (x);
+      a = y + hp1;
+      da = (y - a) + hp1;
+      xx = a * a;
+      if (xx < 0.01588)
+	{
+	  res = TAYLOR_SIN (xx, a, da, cor);
+	  cor = 1.02 * cor + __copysign (1.0e-31, cor);
+	  retval = (res == res + cor) ? res : sloww (a, da, x, true);
+	}
+      else
+	{
+	  res = do_sin (a, da, &cor);
+	  cor = 1.035 * cor + __copysign (1.0e-31, cor);
+	  retval = ((res == res + cor) ? __copysign (res, a)
+		    : sloww1 (a, da, x, true));
+	}
+
+    }				/*   else  if (k < 0x400368fd)    */
+
+
+#ifndef IN_SINCOS
+  else if (k < 0x419921FB)
+    {				/* 2.426265<|x|< 105414350 */
+      double a, da;
+      int4 n = reduce_sincos_1 (x, &a, &da);
+      retval = do_sincos_1 (a, da, x, n, true);
+    }				/*   else  if (k <  0x419921FB )    */
+
+  else if (k < 0x42F00000)
+    {
+      double a, da;
+
+      int4 n = reduce_sincos_2 (x, &a, &da);
+      retval = do_sincos_2 (a, da, x, n, true);
+    }				/*   else  if (k <  0x42F00000 )    */
+
+  /* 281474976710656 <|x| <2^1024 */
+  else if (k < 0x7ff00000)
+    retval = reduce_and_compute (x, true);
+
+  else
+    {
+      if (k == 0x7ff00000 && u.i[LOW_HALF] == 0)
+	__set_errno (EDOM);
+      retval = x / x;		/* |x| > 2^1024 */
+    }
+#endif
+
+  return retval;
+}
+
+/************************************************************************/
+/*  Routine compute sin(x) for  2^-26 < |x|< 0.25 by  Taylor with more   */
+/* precision  and if still doesn't accurate enough by mpsin   or dubsin */
+/************************************************************************/
+
+static inline double
+__always_inline
+slow (double x)
+{
+  double res, cor, w[2];
+  res = TAYLOR_SLOW (x, 0, cor);
+  if (res == res + 1.0007 * cor)
+    return res;
+
+  __dubsin (fabs (x), 0, w);
+  if (w[0] == w[0] + 1.000000001 * w[1])
+    return __copysign (w[0], x);
+
+  return __copysign (__mpsin (fabs (x), 0, false), x);
+}
+
+/*******************************************************************************/
+/* Routine compute sin(x) for 0.25<|x|< 0.855469 by __sincostab.tbl and Taylor */
+/* and if result still doesn't accurate enough by mpsin   or dubsin            */
+/*******************************************************************************/
+
+static inline double
+__always_inline
+slow1 (double x)
+{
+  double w[2], cor, res;
+
+  res = do_sin_slow (x, 0, 0, &cor);
+  if (res == res + cor)
+    return res;
+
+  __dubsin (fabs (x), 0, w);
+  if (w[0] == w[0] + 1.000000005 * w[1])
+    return w[0];
+
+  return __mpsin (fabs (x), 0, false);
+}
+
+/**************************************************************************/
+/*  Routine compute sin(x) for   0.855469  <|x|<2.426265  by  __sincostab.tbl  */
+/* and if result still doesn't accurate enough by mpsin   or dubsin       */
+/**************************************************************************/
+static inline double
+__always_inline
+slow2 (double x)
+{
+  double w[2], y, y1, y2, cor, res;
+
+  double t = hp0 - fabs (x);
+  res = do_cos_slow (t, hp1, 0, &cor);
+  if (res == res + cor)
+    return res;
+
+  y = fabs (x) - hp0;
+  y1 = y - hp1;
+  y2 = (y - y1) - hp1;
+  __docos (y1, y2, w);
+  if (w[0] == w[0] + 1.000000005 * w[1])
+    return w[0];
+
+  return __mpsin (fabs (x), 0, false);
+}
+
+/* Compute sin(x + dx) where X is small enough to use Taylor series around zero
+   and (x + dx) in the first or third quarter of the unit circle.  ORIG is the
+   original value of X for computing error of the result.  If the result is not
+   accurate enough, the routine calls mpsin or dubsin.  SHIFT_QUADRANT rotates
+   the unit circle by 1 to compute the cosine instead of sine.  */
+static inline double
+__always_inline
+sloww (double x, double dx, double orig, bool shift_quadrant)
+{
+  double y, t, res, cor, w[2], a, da, xn;
+  mynumber v;
+  int4 n;
+  res = TAYLOR_SLOW (x, dx, cor);
+
+  double eps = fabs (orig) * 3.1e-30;
+
+  cor = 1.0005 * cor + __copysign (eps, cor);
+
+  if (res == res + cor)
+    return res;
+
+  a = fabs (x);
+  da = (x > 0) ? dx : -dx;
+  __dubsin (a, da, w);
+  eps = fabs (orig) * 1.1e-30;
+  cor = 1.000000001 * w[1] + __copysign (eps, w[1]);
+
+  if (w[0] == w[0] + cor)
+    return __copysign (w[0], x);
+
+  t = (orig * hpinv + toint);
+  xn = t - toint;
+  v.x = t;
+  y = (orig - xn * mp1) - xn * mp2;
+  n = (v.i[LOW_HALF] + shift_quadrant) & 3;
+  da = xn * pp3;
+  t = y - da;
+  da = (y - t) - da;
+  y = xn * pp4;
+  a = t - y;
+  da = ((t - a) - y) + da;
+
+  if (n & 2)
+    {
+      a = -a;
+      da = -da;
+    }
+  x = fabs (a);
+  dx = (a > 0) ? da : -da;
+  __dubsin (x, dx, w);
+  eps = fabs (orig) * 1.1e-40;
+  cor = 1.000000001 * w[1] + __copysign (eps, w[1]);
+
+  if (w[0] == w[0] + cor)
+    return __copysign (w[0], a);
+
+  return shift_quadrant ? __mpcos (orig, 0, true) : __mpsin (orig, 0, true);
+}
+
+/* Compute sin(x + dx) where X is in the first or third quarter of the unit
+   circle.  ORIG is the original value of X for computing error of the result.
+   If the result is not accurate enough, the routine calls mpsin or dubsin.
+   SHIFT_QUADRANT rotates the unit circle by 1 to compute the cosine instead of
+   sine.  */
+static inline double
+__always_inline
+sloww1 (double x, double dx, double orig, bool shift_quadrant)
+{
+  double w[2], cor, res;
+
+  res = do_sin_slow (x, dx, 3.1e-30 * fabs (orig), &cor);
+
+  if (res == res + cor)
+    return __copysign (res, x);
+
+  dx = (x > 0 ? dx : -dx);
+  __dubsin (fabs (x), dx, w);
+
+  double eps = 1.1e-30 * fabs (orig);
+  cor = 1.000000005 * w[1] + __copysign (eps, w[1]);
+
+  if (w[0] == w[0] + cor)
+    return __copysign (w[0], x);
+
+  return shift_quadrant ? __mpcos (orig, 0, true) : __mpsin (orig, 0, true);
+}
+
+/***************************************************************************/
+/*  Routine compute sin(x+dx)   (Double-Length number) where x in second or */
+/*  fourth quarter of unit circle.Routine receive also  the  original value */
+/* and quarter(n= 1or 3)of x for computing error of result.And if result not*/
+/* accurate enough routine calls  mpsin1   or dubsin                       */
+/***************************************************************************/
+
+static inline double
+__always_inline
+sloww2 (double x, double dx, double orig, int n)
+{
+  double w[2], cor, res;
+
+  res = do_cos_slow (x, dx, 3.1e-30 * fabs (orig), &cor);
+
+  if (res == res + cor)
+    return (n & 2) ? -res : res;
+
+  dx = x > 0 ? dx : -dx;
+  __docos (fabs (x), dx, w);
+
+  double eps = 1.1e-30 * fabs (orig);
+  cor = 1.000000005 * w[1] + __copysign (eps, w[1]);
+
+  if (w[0] == w[0] + cor)
+    return (n & 2) ? -w[0] : w[0];
+
+  return (n & 1) ? __mpsin (orig, 0, true) : __mpcos (orig, 0, true);
+}
+
+/***************************************************************************/
+/*  Routine compute sin(x+dx) or cos(x+dx) (Double-Length number) where x   */
+/* is small enough to use Taylor series around zero and   (x+dx)            */
+/* in first or third quarter of unit circle.Routine receive also            */
+/* (right argument) the  original   value of x for computing error of      */
+/* result.And if result not accurate enough routine calls other routines    */
+/***************************************************************************/
+
+static inline double
+__always_inline
+bsloww (double x, double dx, double orig, int n)
+{
+  double res, cor, w[2], a, da;
+
+  res = TAYLOR_SLOW (x, dx, cor);
+  cor = 1.0005 * cor + __copysign (1.1e-24, cor);
+  if (res == res + cor)
+    return res;
+
+  a = fabs (x);
+  da = (x > 0) ? dx : -dx;
+  __dubsin (a, da, w);
+  cor = 1.000000001 * w[1] + __copysign (1.1e-24, w[1]);
+
+  if (w[0] == w[0] + cor)
+    return __copysign (w[0], x);
+
+  return (n & 1) ? __mpcos (orig, 0, true) : __mpsin (orig, 0, true);
+}
+
+/***************************************************************************/
+/*  Routine compute sin(x+dx)  or cos(x+dx) (Double-Length number) where x  */
+/* in first or third quarter of unit circle.Routine receive also            */
+/* (right argument) the original  value of x for computing error of result.*/
+/* And if result not  accurate enough routine calls  other routines         */
+/***************************************************************************/
+
+static inline double
+__always_inline
+bsloww1 (double x, double dx, double orig, int n)
+{
+  double w[2], cor, res;
+
+  res = do_sin_slow (x, dx, 1.1e-24, &cor);
+  if (res == res + cor)
+    return (x > 0) ? res : -res;
+
+  dx = (x > 0) ? dx : -dx;
+  __dubsin (fabs (x), dx, w);
+
+  cor = 1.000000005 * w[1] + __copysign (1.1e-24, w[1]);
+
+  if (w[0] == w[0] + cor)
+    return __copysign (w[0], x);
+
+  return (n & 1) ? __mpcos (orig, 0, true) : __mpsin (orig, 0, true);
+}
+
+/***************************************************************************/
+/*  Routine compute sin(x+dx)  or cos(x+dx) (Double-Length number) where x  */
+/* in second or fourth quarter of unit circle.Routine receive also  the     */
+/* original value and quarter(n= 1or 3)of x for computing error of result.  */
+/* And if result not accurate enough routine calls  other routines          */
+/***************************************************************************/
+
+static inline double
+__always_inline
+bsloww2 (double x, double dx, double orig, int n)
+{
+  double w[2], cor, res;
+
+  res = do_cos_slow (x, dx, 1.1e-24, &cor);
+  if (res == res + cor)
+    return (n & 2) ? -res : res;
+
+  dx = (x > 0) ? dx : -dx;
+  __docos (fabs (x), dx, w);
+
+  cor = 1.000000005 * w[1] + __copysign (1.1e-24, w[1]);
+
+  if (w[0] == w[0] + cor)
+    return (n & 2) ? -w[0] : w[0];
+
+  return (n & 1) ? __mpsin (orig, 0, true) : __mpcos (orig, 0, true);
+}
+
+/************************************************************************/
+/*  Routine compute cos(x) for  2^-27 < |x|< 0.25 by  Taylor with more   */
+/* precision  and if still doesn't accurate enough by mpcos   or docos  */
+/************************************************************************/
+
+static inline double
+__always_inline
+cslow2 (double x)
+{
+  double w[2], cor, res;
+
+  res = do_cos_slow (x, 0, 0, &cor);
+  if (res == res + cor)
+    return res;
+
+  __docos (fabs (x), 0, w);
+  if (w[0] == w[0] + 1.000000005 * w[1])
+    return w[0];
+
+  return __mpcos (x, 0, false);
+}
+
+#ifndef __cos
+weak_alias (__cos, cos)
+# ifdef NO_LONG_DOUBLE
+strong_alias (__cos, __cosl)
+weak_alias (__cos, cosl)
+# endif
+#endif
+#ifndef __sin
+weak_alias (__sin, sin)
+# ifdef NO_LONG_DOUBLE
+strong_alias (__sin, __sinl)
+weak_alias (__sin, sinl)
+# endif
+#endif