fixed corner-case test when both sides of equation simplify to constants