fe64_sub
fe64_sub(tmp0, x3, z3);
fe64_sub(tmp1, x2, z2);
fe64_sub(z2, z3, z2);
fe64_sub(tmp1, tmp1, tmp0);