Thank you! A little bit shorter example than what I try to do is this:

x:=(a-d)*g*(exp(f*(ln(exp(c)*(b-d)/(a-d))-c)/g+c)-exp(c))/(exp(c)*(ln(exp(c)*(b-d)/(a-d))-c))+d*f

I would like to have x be a non-infinite real valued function. Assumptions to support this: a,b,f,g > 0 and real, and b > a. The 2 free parameters are c and d, both perhaps real if that helps.

If this formula is numerically evaluated for real c and d values the following can be found.

1) d must be in the range: a > d > b

2) c must be smaller than a given positive and negative numerical value, which looks like a numerical error since c seems to be redundant in x. Simplification does not give this result but when x is expanded to series of f near 0 it can be seen.

So the question is: how to obtain a result with Maple like this: "a > d > b" and "c can be anything".

This formula has only these bounds, there is no 3rd case, but a piecewise solution would be great to obtain as the other formula is a bit more complicated and seems to have a 3rd case too.

Thank you!