An XCas question....

[DrD]

Well, my example isn't a valid one. I just learned that:

"The functions COTH, SECH, CSCH, ACOTH, ASECH, and ACSCH do not exist on the Prime"

So, I have to apologize for my example. There have been plenty of other ones, that could make a better case for improved simplifications. Since this is a general complaint, I'll just suggest this as an area needing improvement.