ln2_32hi
z = (x - k * ln2_32hi) - k * ln2_32lo;
x = (x - t * ln2_32hi) - t * ln2_32lo;
ln2_32hi = 2.166084939249829091928849858592451515688e-2L,
ln2_32hi = +2.166084939249829091928849858592451515688e-2L,
x = (x - t * ln2_32hi) - t * ln2_32lo;
ln2_32hi = 2.166084939249829091928849858592451515688e-2L,
w1 = (y2 - (t * ln2_32hi - y1)) - t * ln2_32lo;
ln2_32hi = 2.166084939249829091928849858592451515688e-2L,
x = (x - t * ln2_32hi) - t * ln2_32lo;
ln2_32hi = 2.166084939249657281834515742957592010498046875e-2L,
t1 = w_h - t3 * ln2_32hi;
t1 = w_h - t3 * ln2_32hi;