[pixl97]

Eh that sounds a bit different to me, multiplication should be roughly the same operator on each test, these are wildly different functions.

[deepsun]

You forgot about NaNs (all of them), infinities and positive/negative zeros. Tests warranted.

[MaxBarraclough]

Don't forget the Intel floating-point division bug from the 90s.

https://en.wikipedia.org/wiki/Pentium_FDIV_bug

[eru]

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.)