fe_add
fe_add(check, vxx, u); /* vx^2+u */
fe_add(r->YplusX, p->Y, p->X);
fe_add(r->Y, p->X, p->Y);
fe_add(r->Y, r->Z, r->X);
fe_add(r->X, p->Y, p->X);
fe_add(t0, p->Z, p->Z);
fe_add(r->Y, r->Z, r->Y);
fe_add(r->Z, t0, r->T);
fe_add(r->X, p->Y, p->X);
fe_add(t0, p->Z, p->Z);
fe_add(r->Y, r->Z, r->Y);
fe_add(r->T, t0, r->T);
fe_add(r->X, p->Y, p->X);
fe_add(t0, r->X, r->X);
fe_add(r->Y, r->Z, r->Y);
fe_add(r->Z, t0, r->T);
fe_add(r->X, p->Y, p->X);
fe_add(t0, r->X, r->X);
fe_add(r->Y, r->Z, r->Y);
fe_add(r->T, t0, r->T);
fe_add(out->yplusx, y, x);
fe_add(x2, x2, z2);
fe_add(z2, x3, z3);
fe_add(x3, z3, z2);
fe_add(tmp0, tmp0, z3);
fe_add(zplusy, A.Z, A.Y);
fe_add(v, v, h->Z); /* v = dy^2+1 */
fe_add(&x2l, &x2, &z2);
fe_add(&z2l, &x3, &z3);
fe_add(&x3l, &z3, &z2);
fe_add(&tmp0l, &tmp0, &z3);