Eh that sounds a bit different to me, multiplication should be roughly the same operator on each test, these are wildly different functions.
However, sampling really is the way to go when you face a combinatorial explosion. (If you can't prove it correct, that is.)