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