oldk1331 wrote:
>
> > BTW, a few examples which shows that it not obvious what
> > proposed simplification should do:
> >
> > exp(log(x)*log(y)) ==> x^log(y) ???
> > exp(b*(log(x) + log(y)) ==> (xy)^b or x^by^b ???
> > exp(b*atanh(x)) ==> ((1 + x)/(1 - x))^(b/2) ???
> > exp(a*b) ==> exp(a)^b
> BTW, a few examples which shows that it not obvious what
> proposed simplification should do:
>
> exp(log(x)*log(y)) ==> x^log(y) ???
> exp(b*(log(x) + log(y)) ==> (xy)^b or x^by^b ???
> exp(b*atanh(x)) ==> ((1 + x)/(1 - x))^(b/2) ???
> exp(a*b) ==> exp(a)^b ???
At least we can safely sim
oldk1331 wrote:
>
> This question originates from 'simplify(exp((asin x - 1)*log(x)))',
> aside from simplify, there seems no rule can transform it to
> 'x^(asin x - 1)', for example, both r1 and r2 fails:
>
> r1 := rule exp((asin x - 1)*log(x)) == x^(asin x - 1)
> r2 := rule exp(f*log(x)
This question originates from 'simplify(exp((asin x - 1)*log(x)))',
aside from simplify, there seems no rule can transform it to
'x^(asin x - 1)', for example, both r1 and r2 fails:
r1 := rule exp((asin x - 1)*log(x)) == x^(asin x - 1)
r2 := rule exp(f*log(x)) == x^f
--
You received this