fe_mul_ttl
fe_mul_ttl(&v3, &v3, &v); // v3 = v^3
fe_mul_ttl(&h->X, &h->X, &v);
fe_mul_ttl(&vxx, &vxx, &v);
fe_mul_ttl(&trX, &p->Z, &q->Z);