Question: Why does Maple simplify different here?

In the following code Maple simplifies the last expression different, based on whether assume(mu::real, sigma>0) is set or not.

The point is, that the assumptions got -to my mind- nothing to do with the displayed results.

Why does Maple do such weird things?

Here is the code. The last output is different based on whether the '#' before assume(mu::real,sigma>0): is set or not:

restart;
with(Statistics):
Y9 := RandomVariable(LogNormal(b, c)):
CRRA := t->((t)^(1-rho))/(1-rho):
interface(showassumed=0):
assume(t::real);
assume(0 < rho, rho <> 1):
assume(0 < b, 0 < c):
#assume(mu::real,sigma>0):
ExpectedValue(CRRA((Y9))):
g9 := simplify(%)=CRRA(s):
kCRRA9 := solve(g9, s, UseAssumptions);
g9:=solve({mu = Mean(Y9), sigma^2 = Variance(Y9)},{b,c}, Explicit)[1];
gCRRA9:=simplify(normal(eval(kCRRA9,g9)));

Please Wait...