HALF
x1 = t1; HALF(x1);
y1 = t3; HALF(y1);
u1 = u; HALF(u1);
v1 = v; HALF(v1);
w = p; HALF(w);
w = p; HALF(w);
x_h = x; HALF(x_h);
z_h = z; HALF(z_h);
x_h = x; HALF(x_h);
r_h = r; HALF(r_h);
z_h = z; HALF(z_h);
s_h = s; HALF(s_h);
z_h = z; HALF(z_h);
x_h = x; HALF(x_h);
t = one + x * y; HALF(t);
th = t; HALF(th);
xh = x; HALF(xh);
th = t; HALF(th);
xh = x; HALF(xh);
w = p; HALF(w);