TEST_BN_eq_one
|| !TEST_BN_eq_one(bn)
|| !TEST_BN_eq_one(bn)
|| !TEST_BN_eq_one(bn)
if (!TEST_BN_eq_one(d))
&& TEST_BN_eq_one(d)))
&& TEST_BN_eq_one(f)))
|| !TEST(0, TEST_BN_eq_one(a))
|| !TEST(1, TEST_BN_eq_one(b))