fe_add
fe_add(&tmp, h, h);
fe_add(&v, &vxx, &h->Z); // v = dy^2+1
fe_add(&check, &vxx, &u);
fe_add(&r->YplusX, &p->Y, &p->X);
fe_add(&r->Y, &p->X, &p->Y);
fe_add(&r->Y, &trZ, &trX);
fe_add(&r->X, &p->Y, &p->X);
fe_add(&r->T, &p->Z, &p->Z);
fe_add(&r->Y, &trZ, &trY);
fe_add(&r->Z, &trZ, &trT);
fe_add(&r->X, &p->Y, &p->X);
fe_add(&r->T, &trX, &trX);
fe_add(&r->Y, &trZ, &trY);
fe_add(&r->Z, &trZ, &trT);
fe_add(&r->X, &p->Y, &p->X);
fe_add(&r->T, &trX, &trX);
fe_add(&r->Y, &trZ, &trY);
fe_add(&r->T, &trZ, &trT);
fe_add(&out->yplusx, &y, &x);
fe_add(v, v, h->Z); /* v = dy^2+1 */
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(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);