Mathematica will never make assumptions you don't tell it to make, and will state all conditions under which the answers it gives are valid. While this is overall a good thing, this often leads to answers that are more general than is desired. While including positivity or reality requirements in the assumptions can help, it doesn't fix everything, and it can sometimes be quite difficult to determine where the sticking point is and how to solve it. For example, sometimes radicals of perfect square expressions won't be taken outside the radical because the assumptions don't prove that expression is positive (or it can't figure out that this follows from the assumptions).
So what I'm looking for is a sort of "unsafe" simplify. A simplify that's allowed to assume that all parameters are in the ranges that allow simplification of expressions, that make sums and integrals converge, that are in the principal domains of relevant inverse functions, etc. And, in fact, to make these assumptions even if they cannot all be true and let me worry about the potential contradictions.
Is there a way to make something like this?
