reformulate the test condition, since Mathematica 9 does a different
simplification, which leads to a failing test (but the expressions
are of course equal)