Eh that sounds a bit different to me, multiplication should be roughly the same operator on each test, these are wildly different functions.
I was being a bit hyperbolic.
However, sampling really is the way to go when you face a combinatorial explosion. (If you can't prove it correct, that is.)
You forgot about NaNs (all of them), infinities and positive/negative zeros. Tests warranted.