fe_sub
fe_sub(check, vxx, u); /* vx^2-u */
fe_sub(r->YminusX, p->Y, p->X);
fe_sub(r->Z, r->Z, r->X);
fe_sub(r->X, t0, r->Y);
fe_sub(r->T, r->T, r->Z);
fe_sub(r->Y, p->Y, p->X);
fe_sub(r->X, r->Z, r->Y);
fe_sub(r->T, t0, r->T);
fe_sub(r->Y, p->Y, p->X);
fe_sub(r->X, r->Z, r->Y);
fe_sub(r->Z, t0, r->T);
fe_sub(r->Y, p->Y, p->X);
fe_sub(r->X, r->Z, r->Y);
fe_sub(r->T, t0, r->T);
fe_sub(r->Y, p->Y, p->X);
fe_sub(r->X, r->Z, r->Y);
fe_sub(r->Z, t0, r->T);
fe_sub(out->yminusx, y, x);
fe_sub(tmp0, x3, z3);
fe_sub(tmp1, x2, z2);
fe_sub(z2, z3, z2);
fe_sub(tmp1, tmp1, tmp0);
fe_sub(zminusy, A.Z, A.Y);
fe_sub(u, u, h->Z); /* u = y^2-1 */
fe_sub(&tmp0l, &x3, &z3);
fe_sub(&tmp1l, &x2, &z2);
fe_sub(&z2l, &z3, &z2);
fe_sub(&tmp1l, &tmp1, &tmp0);