Can someone explain to me why the following does not simplify to
True (as all constituents are positive)?
Most special cases including
a=b,... do simplify correctly.
What I eventually want to do is to simplify expressions of the kind
which should evaluate to
a+b/(c+(d-e)^2) under given assumptions.
What I ended up doing for larger expressions was this:
It's not particularly pretty, but it works. Thanks to ssch for the idea!