fe64_mul
fe64_mul(t1, z, t1);
fe64_mul(t0, t0, t1);
fe64_mul(t1, t1, t2);
fe64_mul(t1, t2, t1);
fe64_mul(t2, t2, t1);
fe64_mul(t2, t3, t2);
fe64_mul(t1, t2, t1);
fe64_mul(t2, t2, t1);
fe64_mul(t2, t3, t2);
fe64_mul(t1, t2, t1);
fe64_mul(out, t1, t0);
fe64_mul(z3, x2, tmp0);
fe64_mul(z2, z2, tmp1);
fe64_mul(x2, tmp1, tmp0);
fe64_mul(z3, x1, z2);
fe64_mul(z2, tmp1, tmp0);
fe64_mul(x2, x2, z2);