fe_mul_tll
fe_mul_tll(&z3, &tmp0l, &x2l);
fe_mul_tll(&z2, &z2l, &tmp1l);
fe_mul_tll(&z2, &tmp1l, &tmp0l);