fe_sub
fe_sub(&v, &v3, &h->Z); // u = y^2-1
fe_sub(&check, &vxx, &u);
fe_sub(&r->YminusX, &p->Y, &p->X);
fe_sub(&r->Z, &trZ, &trX);
fe_sub(&r->X, &t0, &trZ);
fe_sub(&r->T, &trT, &trZ);
fe_sub(&r->Y, &p->Y, &p->X);
fe_sub(&r->X, &trZ, &trY);
fe_sub(&r->T, &trZ, &trT);
fe_sub(&r->Y, &p->Y, &p->X);
fe_sub(&r->X, &trZ, &trY);
fe_sub(&r->T, &trZ, &trT);
fe_sub(&r->Y, &p->Y, &p->X);
fe_sub(&r->X, &trZ, &trY);
fe_sub(&r->Z, &trZ, &trT);
fe_sub(&out->yminusx, &y, &x);
fe_sub(u, u, h->Z); /* u = y^2-1 */
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(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);