secp256k1_scalar_mul(x8, x8, x2);
 secp256k1_scalar_sqr(x8, x6);
 secp256k1_scalar_sqr(x8, x8);