When Mathematica seems to not to know how to simplify an expression, it may be doing the right thing, being more sophisticated than you expect.